✦ LIBER ✦

Recursive Predicates and Quantifiersby S. C. Kleene

✍ Scribed by Review by: Alonzo Church

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Errata. Arithmetical Predicates and Func

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

Papers on Predicate Calculusby S. C. Kle

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

Recursive Functions and Intuitionistic M

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

Countable Functionalsby S. C. Kleene;Rec

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

A note on recursive functionsby S. C. Kl

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

General Recursive Functions of Natural N

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