✦ LIBER ✦

On Provable Recursive Functions.by H. B. Enderton

✍ Scribed by Review by: Hartley Rogers, Jr.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Hierarchies in Recursive Function Theory

✍ Review by: Gustav Hensel 📂 Article 📅 1966 🏛 Association for Symbolic Logic 🌐 English ⚖ 295 KB

Theory of Provable Recursive Functionsby

✍ Review by: H. B. Enderton 📂 Article 📅 1967 🏛 Association for Symbolic Logic 🌐 English ⚖ 207 KB

The Unique Existential Quantifier.by H.

✍ Review by: Donald A. Martin 📂 Article 📅 1975 🏛 Association for Symbolic Logic 🌐 English ⚖ 87 KB

Approximating the Standard Model of Anal

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

Algebras of recursive functions).by É. A

✍ Review by: Elliott Mendelson 📂 Article 📅 1972 🏛 Association for Symbolic Logic 🌐 English ⚖ 206 KB

On a Theorem Equivalent to Post's Fundam

✍ Review by: H. B. Enderton 📂 Article 📅 1971 🏛 Association for Symbolic Logic 🌐 English ⚖ 226 KB