✦ LIBER ✦

First-order Logic.by Raymond M. Smullyan

✍ Scribed by Review by: William Craig

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Generalization of Intuitionistic and M

✍ Review by: Melvin Fitting 📂 Article 📅 1977 🏛 Association for Symbolic Logic 🌐 English ⚖ 107 KB

First Order Mathematical Logic.by Angelo

✍ Review by: A. H. Lighstone 📂 Article 📅 1972 🏛 Association for Symbolic Logic 🌐 English ⚖ 116 KB

What is the Name of this Book?: The Ridd

✍ Review by: George Boolos 📂 Article 📅 1979 🏛 Duke University Press 🌐 English ⚖ 121 KB

Extended Canonical Systemsby Raymond M.

✍ Review by: James H. Bennett 📂 Article 📅 1968 🏛 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