✦ LIBER ✦

The strength of Martin-Löf type theory with a superuniverse. Part I

✍ Scribed by Michael Rathjen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The strength of Martin-Löf type theory w

✍ Michael Rathjen 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 193 KB

On the strength of dependent products in

✍ Richard Garner 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 672 KB

The Constructive Hilbert Program and the

✍ Michael Rathjen 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 297 KB

Theory of the supersonic part of a nondi

✍ A. I. Morozov 📂 Article 📅 1968 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 368 KB

Polarography with controlled current den

✍ H.L. Kies 📂 Article 📅 1973 🏛 Elsevier Science ⚖ 357 KB

ChemInform Abstract: Medicinal Foodstuff

✍ Toshiyuki Murakami; Akihito Emoto; Hisashi Matsuda; Masayuki Yoshikawa 📂 Article 📅 2010 🏛 John Wiley and Sons ⚖ 31 KB 👁 2 views