✦ LIBER ✦

Quantification of Number-Theoretic Functionsby S. C. Kleene

✍ Scribed by Review by: A. Nerode

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Hierarchies of Number-Theoretic Predicat

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

A note on recursive functionsby S. C. Kl

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

On the Explicit Form of Number-Theoretic

✍ Review by: Hao Wang 📂 Article 📅 1960 🏛 Association for Symbolic Logic 🌐 English ⚖ 87 KB

On the Interpretation of Intuitionistic

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

Countable Functionalsby S. C. Kleene;Rec

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

A Symmetric Form of Godel's Theoremby S.

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