✦ LIBER ✦

A convenient cryptomorphic version of recursive function theory

✍ Scribed by Ronald E. Prather

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Problem in Recursive Function Theory

✍ R. L. Goodstein 📂 Article 📅 1953 🏛 Association for Symbolic Logic 🌐 English ⚖ 538 KB

A Machine-Independent Theory of the Comp

✍ Blum, Manuel 📂 Article 📅 1967 🏛 Association for Computing Machinery 🌐 English ⚖ 954 KB

Application of Recursive Function Theory

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

Some problems in the theory of recursive

✍ E. A. Polyakov 📂 Article 📅 1968 🏛 Springer US 🌐 English ⚖ 220 KB

Recursive Function Theory and Speed of C

✍ Review by: Paul Young 📂 Article 📅 1972 🏛 Association for Symbolic Logic 🌐 English ⚖ 223 KB

Recursive Algorithms. Theory of Recursiv

✍ Review by: V. Vuckovic 📂 Article 📅 1972 🏛 Association for Symbolic Logic 🌐 English ⚖ 105 KB