✦ LIBER ✦

[Lecture Notes in Mathematics] Extensional Gödel Functional Interpretation Volume 306 || Elimination of extensionality

✍ Scribed by ,

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Mathematics] Extension

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

[Lecture Notes in Mathematics] Extension

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

[Lecture Notes in Mathematics] Extension

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

[Lecture Notes in Mathematics] Extension

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

[Lecture Notes in Mathematics] Extension

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

[Lecture Notes in Mathematics] Analytic

✍ Hsieh, P. F.; Stoddart, A. W. J. 📂 Article 📅 1971 🏛 Springer Berlin Heidelberg ⚖ 945 KB