✦ LIBER ✦

A note on recursive functionsby S. C. Kleene

✍ Scribed by Review by: Alonzo Church

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Quantification of Number-Theoretic Funct

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

A Note on Primitive Recursive Functionsb

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

A Note on Computable Functionalsby S. C.

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

Recursive Predicates and Quantifiersby S

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

Countable Functionalsby S. C. Kleene;Rec

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

A Note on Nominalism and Recursive Funct

✍ Review by: John Myhill 📂 Article 📅 1950 🏛 Association for Symbolic Logic 🌐 English ⚖ 199 KB