✦ LIBER ✦

Basic Verifiability in the Combinatory Theory of Restricted Generalityby Haskell B. Curry; Y. Bar-Hillel; E. I. J. Poznanski; M. O. Rabin; A. Robinson

✍ Scribed by Review by: Richard J. Orgass

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Non-standard Models and Independence of

✍ Review by: C. Smorynski 📂 Article 📅 1973 🏛 Association for Symbolic Logic 🌐 English ⚖ 201 KB

On the Use of Hilbert's ε-Operator in Sc

✍ Review by: H. Bohnert 📂 Article 📅 1971 🏛 Association for Symbolic Logic 🌐 English ⚖ 329 KB