✦ LIBER ✦

On the Logic of Constructive Mathematics.by A. A. Markov

✍ Scribed by Review by: Brian H. Mayoh

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On Constructive Functionsby A. A. Markov

✍ Review by: E. M. Fels 📂 Article 📅 1966 🏛 Association for Symbolic Logic 🌐 English ⚖ 182 KB

On the Continuity of Constructive Functi

✍ Review by: Andrzej Ehrenfeucht 📂 Article 📅 1956 🏛 Association for Symbolic Logic 🌐 English ⚖ 328 KB

A Constructive Logicby A. A. Markov

✍ Review by: Andrzej Mostowski 📂 Article 📅 1953 🏛 Association for Symbolic Logic 🌐 English ⚖ 208 KB

Logic, Foundations of Mathematics, and C

✍ Butts, Robert E.; Hintikka, Jaakko 📂 Article 📅 1977 🏛 Springer Netherlands ⚖ 705 KB

ON THE CONSTRUCTION OF A NON-ARISTOTELIA

✍ Henry Bradford Smith 📂 Article 📅 1918 🏛 Oxford University Press 🌐 English ⚖ 521 KB

A Constructive Proof of a Theorem in Rel

✍ Aleksandar Kron 📂 Article 📅 1985 🏛 John Wiley and Sons 🌐 English ⚖ 461 KB 👁 1 views

In this paper we investigate a propositional systeni L related t o T,-W of relevance logic. It has been conjectured that for any formulas A and B