✦ LIBER ✦

Recursive Functions and Intuitionistic Mathematicsby S. C. Kleene

✍ Scribed by Review by: Andrzej Mostowski

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

General Recursive Functions of Natural N

✍ Review by: Rózsa Péter 📂 Article 📅 1937 🏛 Association for Symbolic Logic 🌐 English ⚖ 190 KB

Countable Functionalsby S. C. Kleene;Rec

✍ Review by: Donald L. Kreider 📂 Article 📅 1962 🏛 Association for Symbolic Logic 🌐 English ⚖ 335 KB

On the Intuitionistic Logicby S. C. Klee

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

Recursive Predicates and Quantifiersby S

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

Recursive Functionals and Quantifiers of

✍ Review by: A. Nerode 📂 Article 📅 1962 🏛 Association for Symbolic Logic 🌐 English ⚖ 141 KB

Recursive Functionals and Quantifiers of

✍ Review by: Thomas J. Grilliot 📂 Article 📅 1971 🏛 Association for Symbolic Logic 🌐 English ⚖ 235 KB