✦ LIBER ✦

Constructive Order Types, II

✍ Scribed by John N. Crossley

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

Constructive Order Types on Cuts

✍ Robert I. Soare 📂 Article 📅 1969 🏛 Association for Symbolic Logic 🌐 English ⚖ 537 KB

A Problem in the Theory of Constructive

✍ Robin O. Gandy and Robert I. Soare 📂 Article 📅 1970 🏛 Association for Symbolic Logic 🌐 English ⚖ 361 KB

An Unsolved Problem in the Theory of Con

✍ Alan G. Hamilton 📂 Article 📅 1969 🏛 Association for Symbolic Logic 🌐 English ⚖ 285 KB

Constructive Order Theory

✍ Marcel Erné 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 184 KB

Constructive operators of finite types

✍ V. P. Chernov 📂 Article 📅 1976 🏛 Springer US 🌐 English ⚖ 374 KB