✦ LIBER ✦

Foundations of Mathematics in Polymorphic Type Theory

✍ Scribed by M. Randall Holmes

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Mathematical induction in ramified type

✍ James R. Royse 📂 Article 📅 1969 🏛 John Wiley and Sons 🌐 English ⚖ 183 KB

A REVOLUTION IN THE FOUNDATIONS OF MATHE

✍ JAAKKO HINTIKKA 📂 Article 📅 1997 🏛 Springer Netherlands 🌐 English ⚖ 107 KB

Phenomenological foundation and mathemat

✍ R. Bürger 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 193 KB 👁 1 views

A Companion to Philosophical Logic || Lo

✍ Jacquette, Dale 📂 Article 📅 2006 🏛 Blackwell Publishing Ltd 🌐 English ⚖ 74 KB 👁 3 views

Edited By Dale Jacquette. Includes Bibliographical References And Index.

✍ Montano, Ulianov 📂 Fiction 🏛 Springer International Publishing, Cham 🌐 English ⚖ 307 KB

A study of the mathematical foundations

✍ C.J. Fazio 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 844 KB