✦ LIBER ✦

Recursion Theory and Formal Deducibility

✍ Scribed by E. M. Kleinberg

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Elementary Recursion Theory and its Appl

✍ Kripke, Saul 📂 Fiction 📅 0 🌐 English ⚖ 695 KB

Representability op recursively enumerab

✍ Ehrenfeucht, A. ;Feferman, S. 📂 Article 📅 1960 🏛 Springer-Verlag ⚖ 269 KB

Representability of recursively enumerab

✍ Shepherdson, J. C. 📂 Article 📅 1961 🏛 Springer-Verlag ⚖ 417 KB

Difference Sets and Recursion Theory

✍ James H. Schmerl 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 411 KB

recursively enumerable set but which is not the difference set of any recursive set.

Recursion Theory and Dedekind Cuts

✍ Robert I. Soare 📂 Article 📅 1969 🏛 American Mathematical Society 🌐 English ⚖ 540 KB

Models for Recursion Theory

✍ Johan Moldestad and Dag Normann 📂 Article 📅 1976 🏛 Association for Symbolic Logic 🌐 English ⚖ 249 KB