✦ LIBER ✦

Hierarchies in Recursive Function Theoryby H. B. Enderton

✍ Scribed by Review by: Gustav Hensel

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On Provable Recursive Functions.by H. B.

✍ Review by: Hartley Rogers, Jr. 📂 Article 📅 1973 🏛 Association for Symbolic Logic 🌐 English ⚖ 117 KB

On a Theorem Equivalent to Post's Fundam

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

Real Numbers and Functions in the Kleene

✍ N. Z. Shapiro 📂 Article 📅 1969 🏛 Association for Symbolic Logic 🌐 English ⚖ 681 KB

Recursive Functions in Basic Logicby Fre

✍ Review by: R. A. DiPaola 📂 Article 📅 1970 🏛 Association for Symbolic Logic 🌐 English ⚖ 351 KB

Theory of Provable Recursive Functionsby

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

Evaluating the Complexity of Index Sets

✍ Yu.D. Korol'kov 📂 Article 📅 2002 🏛 Springer US 🌐 English ⚖ 190 KB