✦ LIBER ✦

Proof theory and set theory

✍ Scribed by Gaisi Takeuti

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Language and proof theory

✍ Dov Gabbay; Ruth Kempson 📂 Article 📅 1996 🏛 Springer Netherlands 🌐 English ⚖ 321 KB

Proof theory and complexity

✍ Carlo Cellucci 📂 Article 📅 1985 🏛 Springer Netherlands 🌐 English ⚖ 600 KB

A nominalistic proof of the conservative

✍ Hartry Field 📂 Article 📅 1992 🏛 Springer Netherlands 🌐 English ⚖ 629 KB

Comparing type theory and set theory

✍ John Lake 📂 Article 📅 1975 🏛 John Wiley and Sons 🌐 English ⚖ 175 KB

Real set theory

✍ K.K. Nambiar 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 241 KB

Intuitive set theory

✍ K.K. Nambiar 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 163 KB