✦ LIBER ✦

Constructive Order Theory

✍ Scribed by Marcel Erné

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Constructive order types, III

✍ Aczel, P. H. G. ;Crossley, John N. 📂 Article 📅 1966 🏛 Springer-Verlag ⚖ 197 KB

Dimensional theory and constructive math

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

Constructive theory for fuzzy systems

✍ Pei-Zhuang Wang; Shaohua Tan; Fengming Song; Ping Liang 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 545 KB

Every recursively enumerable extension o

✍ M. G. Peretyat'kin 📂 Article 📅 1973 🏛 Springer US 🌐 English ⚖ 351 KB

Constructive toposes with countable sums

✍ Alex Simpson; Thomas Streicher 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 306 KB

The construction of a general third-orde

✍ Osman M. Kamel 📂 Article 📅 1982 🏛 Springer Netherlands 🌐 English ⚖ 584 KB