✦ LIBER ✦

A Problem in the Theory of Constructive Order Types

✍ Scribed by Robin O. Gandy and Robert I. Soare

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An Unsolved Problem in the Theory of Con

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

The theory of constructive types

✍ Chwistek L. 📂 Library 📅 1925 🌐 English ⚖ 3 MB

Functional Interpretations of Constructi

✍ Justus Diller 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 474 KB

A second order theory of data types

✍ Zhang Ming-Hua 📂 Article 📅 1988 🏛 Springer-Verlag 🌐 English ⚖ 994 KB

A constructive approximation theorem for

✍ Priv.-Doz. Dr. W. Freeden; Dr. H. Kersten; R. Leis 📂 Article 📅 1981 🏛 John Wiley and Sons 🌐 English ⚖ 430 KB

Problems in the construction of a theory

✍ F. J. Vandamme 📂 Article 📅 1975 🏛 Springer 🌐 English ⚖ 561 KB