Identity and existence in intuitionistic logic
- 1 January 1979
- book chapter
- Published by Springer Nature
- p. 660-696
- https://doi.org/10.1007/bfb0061839
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- Aspects of Constructive MathematicsPublished by Elsevier ,1977
- The Logic of TopoiPublished by Elsevier ,1977
- First Order Categorical LogicLecture Notes in Mathematics, 1977
- Axiom of choice and complementationProceedings of the American Mathematical Society, 1975
- Descriptions in Intuitionistic LogicPublished by Elsevier ,1975
- On 2nd order intuitionistic propositional calculus with full comprehensionArchive for Mathematical Logic, 1974
- Applications of Kripke modelsPublished by Springer Nature ,1973
- Categories for the Working MathematicianPublished by Springer Nature ,1971
- The meeting of the Midwest Category Seminar in Zurich August 24–30, 1970Published by Springer Nature ,1971
- A theory of prepositional typesFundamenta Mathematicae, 1963