✦ LIBER ✦

On the Intuitionistic Logicby S. C. Kleene

✍ Scribed by Review by: Andrzej Mostowski

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the Interpretation of Intuitionistic

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

Recursive Functions and Intuitionistic M

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

Semantic Construction of Intuitionistic

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

Disjunction and Existence Under Implicat

✍ Review by: T. Thacher Robinson 📂 Article 📅 1963 🏛 Association for Symbolic Logic 🌐 English ⚖ 348 KB

Papers on Predicate Calculusby S. C. Kle

✍ Review by: Robert McNaughton 📂 Article 📅 1954 🏛 Association for Symbolic Logic 🌐 English ⚖ 312 KB

A Note on Computable Functionalsby S. C.

✍ Review by: G. Kreisel 📂 Article 📅 1959 🏛 Association for Symbolic Logic 🌐 English ⚖ 346 KB