✦ LIBER ✦

A Theory Without Recursive Modelsby A. Grzegorczyk

✍ Scribed by Review by: Thomas Frayne

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Ordinal Recursion, and a Refinement of t

✍ S. S. Wainer 📂 Article 📅 1972 🏛 Association for Symbolic Logic 🌐 English ⚖ 667 KB

Recursive Objects in all Finite Types.by

✍ Review by: Charles Parsons 📂 Article 📅 1974 🏛 Association for Symbolic Logic 🌐 English ⚖ 211 KB

On a repeated game without a recursive s

✍ J. -F. Mertens; S. Zamir 📂 Article 📅 1976 🏛 Springer-Verlag 🌐 English ⚖ 449 KB

On Recursive Enumeration Without Repetit

✍ A. H. Lachlan 📂 Article 📅 1967 🏛 John Wiley and Sons 🌐 English ⚖ 118 KB

A Problem in Recursive Function Theory

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

Recursively Enumerable Classes and Their

✍ Review by: James C. Owings, Jr. 📂 Article 📅 1973 🏛 Association for Symbolic Logic 🌐 English ⚖ 338 KB