✦ LIBER ✦

Extended Canonical Systemsby Raymond M. Smullyan

✍ Scribed by Review by: James H. Bennett

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On Post's Canonical Systemsby Raymond M.

✍ Review by: Ann Yasuhara 📂 Article 📅 1969 🏛 Association for Symbolic Logic 🌐 English ⚖ 201 KB

Elementary Formal Systemsby Raymond M. S

✍ Review by: Ann S. Ferebee 📂 Article 📅 1969 🏛 Association for Symbolic Logic 🌐 English ⚖ 208 KB

Theory of Formal Systemsby Raymond M. Sm

✍ Review by: Marian Boykan Pour-El 📂 Article 📅 1965 🏛 Association for Symbolic Logic 🌐 English ⚖ 437 KB

First-order Logic.by Raymond M. Smullyan

✍ Review by: William Craig 📂 Article 📅 1975 🏛 Association for Symbolic Logic 🌐 English ⚖ 107 KB

Undecidability and Recursive Inseparabil

✍ Review by: Clifford Spector 📂 Article 📅 1960 🏛 Association for Symbolic Logic 🌐 English ⚖ 89 KB

Languages in Which Self Reference is Pos

✍ Review by: J. R. Shoenfield 📂 Article 📅 1959 🏛 Association for Symbolic Logic 🌐 English ⚖ 168 KB