✦ LIBER ✦

Gödel Numberings of Partial Recursive Functions.by Hartley Rogers,

✍ Scribed by Review by: Martin Davis

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Recursive Functions over Well-Ordered Pa

✍ Review by: J. R. Shoenfield 📂 Article 📅 1962 🏛 Association for Symbolic Logic 🌐 English ⚖ 140 KB

Theory of Recursive Functions and Effect

✍ Review by: C. E. M. Yates 📂 Article 📅 1971 🏛 Association for Symbolic Logic 🌐 English ⚖ 969 KB

Theory of Recursive Functions and Effect

✍ Review by: Clifford Spector 📂 Article 📅 1959 🏛 Association for Symbolic Logic 🌐 English ⚖ 200 KB

On Provable Recursive Functions.by H. B.

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

The Independence of Control Structures i

✍ Gregory A. Riccardi 📂 Article 📅 1982 🏛 John Wiley and Sons 🌐 English ⚖ 795 KB

Characterizing the elementary recursive

✍ Arnold Beckmann; Andreas Weiermann 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 157 KB