✦ LIBER ✦

Errata. Arithmetical Predicates and Function Quantifiersby S. C. Kleene

✍ Scribed by Review by: Alonzo Church

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

Recursive Functions and Intuitionistic M

✍ Review by: Andrzej Mostowski 📂 Article 📅 1953 🏛 Association for Symbolic Logic 🌐 English ⚖ 354 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

A Von Sterneck Arithmetical Function and

✍ C. A. Nicol and H. S. Vandiver 📂 Article 📅 1954 🏛 National Academy of Sciences 🌐 English ⚖ 345 KB

Supplement to a Paper Entitled "A Von St

✍ C. A. Nicol and H. S. Vandiver 📂 Article 📅 1958 🏛 National Academy of Sciences 🌐 English ⚖ 137 KB