✦ LIBER ✦

Introduction to Logicby Alfred Tarski; Y. Bar-Hillel; E. I. J. Poznanski

✍ Scribed by Review by: Azriel Lévy

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Axiomatic Method and Intuitionismby A. H

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

Grundgedanken einer Typenfreien Logikby

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

On Non-Standard Models for Number Theory

✍ Review by: Steven Orey 📂 Article 📅 1967 🏛 Association for Symbolic Logic 🌐 English ⚖ 203 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

Non-standard Models and Independence of

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