Intuitionistic Logic / Constructive Mathematics

      Research / Miscellaneous

• Constructive Mathematics
  Voce della Stanford Encyclopaedia of Philosophy.

• CSLI Homepage
  

• Arend Heyting
  

• Luitzen Egbertus Jan Brouwer
  

      Bibliographies / Tutorials

• Constructive Mathematics
  Contiene una bibliografia di base sull'argomento.

      Reviews / Online Publications

      Related Fields

	Foundations of Mathematics
	Non Classical Logics
	Automated Theorem Proving

	Logic and Philosophy
	Logic and Mathematics
	Logic and Computer Science
	General Resources