✦ LIBER ✦

[Studies in Logic and the Foundations of Mathematics] Foundational Studies - Selected Works Volume 93 || On Recursive Models of Formalised Arithmetic

✍ Scribed by Mostowski, A.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Studies in Logic and the Foundations of

✍ Chang, C.C. 📂 Article 📅 1990 🏛 Elsevier 🌐 English ⚖ 270 KB

[Studies in Logic and the Foundations of

✍ , 📂 Article 📅 1990 🏛 Elsevier 🌐 English ⚖ 113 KB

[Studies in Logic and the Foundations of

✍ Courcelle, Bruno 📂 Article 📅 1987 🏛 Elsevier 🌐 English ⚖ 785 KB

[Studies in Logic and the Foundations of

✍ Kreisel, G. 📂 Article 📅 1966 🏛 Elsevier 🌐 English ⚖ 618 KB

[Studies in Logic and the Foundations of

✍ Tait, W.W. 📂 Article 📅 1968 🏛 Elsevier 🌐 English ⚖ 699 KB

Provability, Computability and Reflection

[Studies in Logic and the Foundations of

✍ Arruda, Ayda I. 📂 Article 📅 1977 🏛 Elsevier 🌐 English ⚖ 862 KB