PlanetMath: Intuitionistic Logic
An introduction to the subject, a mathematical philosophy introduced by the Dutch mathematician, L E J Brouwer.

No queries for planetmath.org/encyclopedia/IntuitionisticLogic.html