✦ LIBER ✦

Binary Recursive Arithmeticby Alonzo Church

✍ Scribed by Review by: Julia Robinson

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Some Results in Church's Restricted Recu

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

An Independence Question in Recursive Ar

✍ Review by: Julia Robinson 📂 Article 📅 1971 🏛 Association for Symbolic Logic 🌐 English ⚖ 177 KB

An Extended Arithmeticby Garrett Birkhof

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

Application of Recursive Arithmetic to t

✍ Review by: Joyce Friedman 📂 Article 📅 1963 🏛 Association for Symbolic Logic 🌐 English ⚖ 320 KB

Recursive Predicates and Quantifiersby S

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

A note on recursive functionsby S. C. Kl

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