✦ LIBER ✦

On the Use of Hilbert's ε-Operator in Scientific Theoriesby Rudolf Carnap; Y. Bar-Hillel; E. I. J. Poznanski; M. O. Rabin; A. Robinson

✍ Scribed by Review by: H. Bohnert

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Basic Verifiability in the Combinatory T

✍ Review by: Richard J. Orgass 📂 Article 📅 1970 🏛 Association for Symbolic Logic 🌐 English ⚖ 358 KB

Non-standard Models and Independence of

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