✦ LIBER ✦

An Addendum: Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms

✍ Scribed by S. C. Kleene

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Disjunction and Existence Under Implicat

✍ S. C. Kleene 📂 Article 📅 1962 🏛 Association for Symbolic Logic 🌐 English ⚖ 336 KB

Disjunction and Existence Under Implicat

✍ Review by: T. Thacher Robinson 📂 Article 📅 1963 🏛 Association for Symbolic Logic 🌐 English ⚖ 348 KB

S. C. Kleene. Disjunction and existence

✍ Thacher Robinson, T. (author) 📂 Article 📅 1963 🏛 Cambridge University Press (CUP) 🌐 English ⚖ 348 KB

Disjunction and Existence in Formalized

✍ Review by: W. A. Howard 📂 Article 📅 1970 🏛 Association for Symbolic Logic 🌐 English ⚖ 346 KB