✦ LIBER ✦

Theory of Provable Recursive Functionsby Patrick C. Fischer

✍ Scribed by Review by: H. B. Enderton

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Provably recursive functions of construc

✍ Morteza Moniri 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 159 KB

Hierarchies of Primitive Recursive Funct

✍ Review by: C. F. Kent 📂 Article 📅 1971 🏛 Association for Symbolic Logic 🌐 English ⚖ 347 KB

A Machine-Independent Theory of the Comp

✍ Review by: Stephen A. Cook 📂 Article 📅 1970 🏛 Association for Symbolic Logic 🌐 English ⚖ 316 KB

The lack of definable witnesses and prov

✍ Harvey M Friedman; Andrej Ščedrov 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 691 KB

The provability logics of recursively en

✍ Albert Visser 📂 Article 📅 1984 🏛 Springer Netherlands 🌐 English ⚖ 529 KB

On Formalisms for Turing Machinesby Patr

✍ Review by: Gabor T. Herman 📂 Article 📅 1971 🏛 Association for Symbolic Logic 🌐 English ⚖ 453 KB