scientific article
From MaRDI portal
Publication:3214887
zbMath0272.02035MaRDI QIDQ3214887
Publication date: 1973
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Intuitionistic mathematics (03F55) Intermediate logics (03B55)
Related Items
A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms, Theory of proofs (arithmetic and analysis), Point-free topological spaces, functions and recursive points; filter foundation for recursive analysis. I, Five observations concerning the intended meaning of the intuitionistic logical constants, THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC
