A Philosophically Plausible Formal Interpretation of Intuitionistic Logic
- 1 January 1964
- journal article
- Published by Elsevier in Indagationes Mathematicae
- Vol. 67, 596-601
- https://doi.org/10.1016/s1385-7258(64)50066-9
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- Propositional calculus and realizabilityTransactions of the American Mathematical Society, 1953
- Der Aussagenkalkül und die TopologieFundamenta Mathematicae, 1938