✦ LIBER ✦

Between constructive mathematics and PROLOG

✍ Scribed by Gerhard Jäger

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Science and constructive mathematics

✍ James Robert Brown 📂 Article 📅 2003 🏛 Oxford University Press 🌐 English ⚖ 61 KB

Constructive and axiomatic mathematics

✍ Paul Lorenzen 📂 Article 📅 1960 🏛 Springer Netherlands 🌐 English ⚖ 342 KB

Dimensional theory and constructive math

✍ A. Drago 📂 Article 📅 1983 🏛 Società Italiana di Fisica ⚖ 256 KB

Constructive Mathematics and Quantum Phy

✍ Douglas Bridges; Karl Svozil 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 63 KB

Carathéodory’s thermodynamics and constr

✍ A. Drago 📂 Article 📅 1982 🏛 Società Italiana di Fisica ⚖ 291 KB

Constructive mathematics and unbounded o

✍ Douglas S. Bridges 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 585 KB