Intuitionistic Logic
Confessions of a Formalist, Platonist Intuitionist
Autobiographical article by Fred Richman, describing his encounter with intuitionism.
Intuitionistic Logic
A short entry in the Stanford Encyclopaedia of Philosophy by Joan R. Moschovakis.
Intuitionistic Logic
A very brief overview of the subject by Alex Sakharov from MathWorld.
Intuitionistic Logic
A very concise introduction to the subject. Includes overview of the syntax, Kripke models, analytic tableau, natural deduction.
Intuitionistic Topology and Foundations of Constructive Mathematics
Math page of Frank Waaldijk, containing articles and PhD thesis on foundations of constructive mathematics and intuitionistic topology. Also links to other mathemtaicians in this f…
Showing 20–10 of 10 results