✦ LIBER ✦

Extensional Godel Functional Interpretation: A Consistency Proof of Classical Analysis

✍ Scribed by Horst Luckhardt

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Mathematics] Extension

✍ , 📂 Article 📅 1973 🏛 Springer Berlin Heidelberg ⚖ 617 KB

[Lecture Notes in Mathematics] Extension

✍ , 📂 Article 📅 1973 🏛 Springer Berlin Heidelberg ⚖ 409 KB

Provably Recursive Functionals of Analys

✍ Review by: R. E. Vesley 📂 Article 📅 1967 🏛 Association for Symbolic Logic 🌐 English ⚖ 203 KB