Intuitionism. An introduction. 3rd revised ed

zbMath0219.02013MaRDI QIDQ2546865

Arend Heyting

Publication date: 1971

Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Intuitionistic mathematics (03F55)

Related Items (26)

The philosophical significance of Cox's theorem ⋮ On the Lebesgue measurability of continuous functions in constructive analysis ⋮ Identifiability of structural characteristics: how relevant is it for the Bayesian approach? ⋮ A model for spacetime: the role of interpretation in some Grothendieck topoi ⋮ Equivalence proof for intuitionistic existential alpha graphs ⋮ A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES ⋮ Boolean lifting property for residuated lattices ⋮ Validity and quantification in intuitionism ⋮ Collimation processes in quantum mechanics interpreted in quantum real numbers ⋮ An \(\mathsf{AC}^{1}\)-complete model checking problem for intuitionistic logic ⋮ Objectivity and Truth in Mathematics: A Sober Non-platonist Perspective ⋮ Mirroring theorems in free logic ⋮ The complete Heyting algebra of subsystems and contextuality ⋮ A constructive proof of the Heine-Borel covering theorem for formal reals ⋮ On Dummett's verificationist justification procedure ⋮ Pluralism in Logic: The Square of Opposition, Leibniz’ Principle of Sufficient Reason and Markov’s Principle ⋮ Intuitionism, Meaning Theory and Cognition ⋮ Spatial relations between indeterminate regions ⋮ Intuitionistic sequential compactness? ⋮ On certain theorems of analysis in the formal system Kleene-Vesley ⋮ A fundamental effect in computations on real numbers ⋮ Reference and perspective in intuitionistic logics ⋮ Constructibility and Geometry ⋮ Morse set theory as a foundation for constructive mathematics ⋮ Bishop-Style Constructive Reverse Mathematics ⋮ Against against intuitionism

This page was built for publication: Intuitionism. An introduction. 3rd revised ed