✦ LIBER ✦

Non-standard Models and Independence of the Induction Axiom.by Michael O. Rabin; Y. Bar-Hillel; E. I. J. Poznanski; M. O. Rabin; A. Robinson

✍ Scribed by Review by: C. Smorynski

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On Non-Standard Models for Number Theory

✍ Review by: Steven Orey 📂 Article 📅 1967 🏛 Association for Symbolic Logic 🌐 English ⚖ 203 KB

Axiomatic Method and Intuitionismby A. H

✍ Review by: D. van Dalen 📂 Article 📅 1971 🏛 Association for Symbolic Logic 🌐 English ⚖ 336 KB

Basic Verifiability in the Combinatory T

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

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

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

Grundgedanken einer Typenfreien Logikby

✍ Review by: Ronald Harrop 📂 Article 📅 1967 🏛 Association for Symbolic Logic 🌐 English ⚖ 318 KB

Logique Formalisée et Raisonnement Jurid

✍ Review by: Nicholas A. Vonneuman 📂 Article 📅 1968 🏛 Association for Symbolic Logic 🌐 English ⚖ 311 KB