✦ LIBER ✦

[Lecture Notes in Mathematics] Extensional Gödel Functional Interpretation Volume 306 || Gödel's functional interpretation in the narrower sense

✍ Scribed by ,

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Mathematics] Extension

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

[Lecture Notes in Mathematics] Extension

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

[Lecture Notes in Mathematics] Extension

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

[Lecture Notes in Mathematics] Extension

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

[Lecture Notes in Mathematics] Extension

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

Gödel's Functional Interpretation and it

✍ Ulrich Kohlenbach 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 468 KB