Intuitionistic Logic Nonstandard Logics and Extensions Logic and Foundations Math
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 field.
Top: Science: Math: Logic and Foundations: Nonstandard Logics and Extensions
Intuitionistic Logic
- Intuitionistic Logic - A very brief overview of the subject by nonstandard logics and extensions Alex Sakharov from MathWorld.
- Intuitionistic logic - Wikipedia (free encyclopedia) article.
- Constructive Mathematics - Maintained by Fred Richards.
- Intuitionistic Topology and Foundations of Constructive Mathematics - Math page of Frank Waaldijk, containing articles and intuitionistic logic PhD nonstandard logics and extensions thesis on foundations of constructive mathematics and intuitionistic logic intuitionistic topology. nonstandard logics and extensions Also links to other mathemtaicians in intuitionistic logic this field.
- Confessions of a Formalist, Platonist Intuitionist - Autobiographical article by Fred Richman, describing his encounter with intuitionism.
- A Bibliography of Constructive Mathematics - Compiled by Erik Palmgren.
MySQL - Cache Direct
