✦ LIBER ✦

Set theory in predicate calculus with equality

✍ Scribed by Bunder, M. W.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Predicate calculus and naive set theory

✍ Bunder, M. W. 📂 Article 📅 1981 🏛 Springer-Verlag ⚖ 394 KB

Extension of the inverse method to the p

✍ S. Yu. Maslov 📂 Article 📅 1972 🏛 Springer US 🌐 English ⚖ 811 KB

A one axiom set theory based on higher o

✍ Bunder, M. W. 📂 Article 📅 1983 🏛 Springer-Verlag ⚖ 366 KB

The Calculus of Partial Predicates and I

✍ Hao Wang 📂 Article 📅 1961 🏛 John Wiley and Sons 🌐 English ⚖ 368 KB 👁 1 views

Interpolation in superintuitionistic pre

✍ L. L. Maksimova 📂 Article 📅 1997 🏛 Springer US 🌐 English ⚖ 662 KB

Some undecidable theories with monadic p

✍ Büning, Hans Kleine 📂 Article 📅 1981 🏛 Springer-Verlag ⚖ 566 KB