Directory Help Search only in Intuitionistic LogicSearch the Web

Intuitionistic Logic

Science > Math > Logic and Foundations > Nonstandard Logics and Extensions > Intuitionistic Logic

Go to Directory Home

Categories

Martin-Löf's Type Theory (6)

Web Pages

Viewing in Google PageRank order               View in alphabetical order

	Intuitionistic logic - http://en.wikipedia.org/wiki/Intuitionistic_logic Wikipedia (free encyclopedia) article.
	Intuitionistic Logic - http://mathworld.wolfram.com/IntuitionisticLogic.html A very brief overview of the subject by Alex Sakharov from MathWorld.
	Confessions of a Formalist, Platonist Intuitionist - http://www.math.fau.edu/Richman/html/Confess.htm Autobiographical article by Fred Richman, describing his encounter with intuitionism.
	Constructive Mathematics - http://www.math.fau.edu/Richman/html/construc.htm Maintained by Fred Richards.
	A Bibliography of Constructive Mathematics - http://www.math.uu.se/~palmgren/biblio/bib.html Compiled by Erik Palmgren.

	Intuitionistic Topology and Foundations of Constructive Mathematics - http://home.hetnet.nl/~sufra/mathematics.html 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.
	Intuitionistic Logic - http://plato.stanford.edu/entries/logic-intuitionistic/ A short entry in the Stanford Encyclopaedia of Philosophy by Joan R. Moschovakis.

Help build the largest human-edited directory on the web. Submit a Site - Open Directory Project - Become an Editor

Modified by Google - ©2009 Google
Advertise with Us - Jobs, Press, Cool Stuff...