✦ LIBER ✦

Proof of Mostowski's Conjectureby R. O. Gandy

✍ Scribed by Review by: Wayne Richter

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Proof of Herbrand's Theoremby J. Łoś;

✍ Review by: Kurt Schütte 📂 Article 📅 1971 🏛 Association for Symbolic Logic 🌐 English ⚖ 368 KB

On a Problem of Kleene'sby R. O. Gandy

✍ Review by: Wayne Richter 📂 Article 📅 1964 🏛 Association for Symbolic Logic 🌐 English ⚖ 201 KB

Computable Functionals of Finite Type Ib

✍ Review by: Richard A. Platek 📂 Article 📅 1970 🏛 Association for Symbolic Logic 🌐 English ⚖ 331 KB

Proofs of O'Raifeartaigh's theorem

✍ A. Galindo 📂 Article 📅 1966 🏛 Springer-Verlag ⚖ 155 KB

On the Axiom of Extensionalityby R. O. G

✍ Review by: Azriel Lévy 📂 Article 📅 1964 🏛 Association for Symbolic Logic 🌐 English ⚖ 204 KB

A short proof of Rédei's theorem

✍ Pierre Antoine Grillet 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 98 KB