✦ LIBER ✦

On Various Degrees of Constructivismby Andrzej Mostowski

✍ Scribed by Review by: George S. Boolos

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On Direct Products of Theoriesby Andrzej

✍ Review by: I. L. Novak 📂 Article 📅 1952 🏛 Association for Symbolic Logic 🌐 English ⚖ 277 KB

On Absolute Properties of Relationsby An

✍ Review by: John G. Kemeny 📂 Article 📅 1948 🏛 Association for Symbolic Logic 🌐 English ⚖ 430 KB

On the Principle of Dependent Choicesby

✍ Review by: W. Ackermann 📂 Article 📅 1950 🏛 Association for Symbolic Logic 🌐 English ⚖ 209 KB

On Definable Sets of Positive Integersby

✍ Review by: David Nelson 📂 Article 📅 1948 🏛 Association for Symbolic Logic 🌐 English ⚖ 318 KB

On Undecidable Propositions in Formalize

✍ Review by: S. Ulam 📂 Article 📅 1947 🏛 Association for Symbolic Logic 🌐 English ⚖ 210 KB

On a Set of Integers Not Definable by Me

✍ Review by: Martin Davis 📂 Article 📅 1950 🏛 Association for Symbolic Logic 🌐 English ⚖ 202 KB