✦ LIBER ✦

Papers on Predicate Calculusby S. C. Kleene

✍ Scribed by Review by: Robert McNaughton

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Recursive Predicates and Quantifiersby S

✍ Review by: Alonzo Church 📂 Article 📅 1943 🏛 Association for Symbolic Logic 🌐 English ⚖ 522 KB

Errata. Arithmetical Predicates and Func

✍ Review by: Alonzo Church 📂 Article 📅 1957 🏛 Association for Symbolic Logic 🌐 English ⚖ 93 KB

On the Forms of Predicates in the Theory

✍ Review by: Werner Markwald 📂 Article 📅 1956 🏛 Association for Symbolic Logic 🌐 English ⚖ 303 KB

Gentzen's Theorem on an Extended Predica

✍ Review by: Kurt Schütte 📂 Article 📅 1962 🏛 Association for Symbolic Logic 🌐 English ⚖ 97 KB

On the Forms of Predicates in the Theory

✍ Review by: H. E. Vaughan 📂 Article 📅 1946 🏛 Association for Symbolic Logic 🌐 English ⚖ 214 KB

On the Intuitionistic Logicby S. C. Klee

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