✦ LIBER ✦

Foundations of Intuitionistic Logicby G. Kreisel

✍ Scribed by Review by: Abraham Robinson

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On Weak Completeness of Intuitionistic P

✍ Review by: Joan Rand Moschovakis 📂 Article 📅 1969 🏛 Association for Symbolic Logic 🌐 English ⚖ 341 KB

Elements of Mathematical Logicby G. Krei

✍ Review by: C. C. Chang 📂 Article 📅 1969 🏛 Association for Symbolic Logic 🌐 English ⚖ 205 KB

Some Remarks on the Foundations of Mathe

✍ Review by: Th. Skolem 📂 Article 📅 1954 🏛 Association for Symbolic Logic 🌐 English ⚖ 294 KB

Semantic Construction of Intuitionistic

✍ Review by: S. C. Kleene 📂 Article 📅 1957 🏛 Association for Symbolic Logic 🌐 English ⚖ 155 KB

Genesis and Development of Intuitionisti

✍ Review by: Andrzej Mostowski 📂 Article 📅 1947 🏛 Association for Symbolic Logic 🌐 English ⚖ 317 KB

[Studies in Logic and the Foundations of

✍ Kreisel, G. 📂 Article 📅 1966 🏛 Elsevier 🌐 English ⚖ 618 KB