✦ LIBER ✦

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

✍ 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 📅 2000 🏛 Springer 🌐 English ⚖ 260 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

Acid–base properties of fibers. Part II.

✍ A. R. Mathieson; C. S. Whewell 📂 Article 📅 1964 🏛 John Wiley and Sons 🌐 English ⚖ 1021 KB

Theory of swelling of a crosslinked subs

✍ W. Borchard 📂 Article 📅 1993 🏛 Springer ⚖ 735 KB

Phenomenological theory of plastic defor

✍ Greenberg, B. A. ;Ivanov, M. A. ;Gornostirev, Yu. N. ;Karkina, L. E. 📂 Article 📅 1978 🏛 John Wiley and Sons 🌐 English ⚖ 865 KB