"God created the integers, the rest is the work of man"

Leopold Kronecker (1823-1891)

• Historical Context
  
• Intuitionist Mathematics
• Intuitionistic Logic
• Intuitionism and Computer Science
• Bibliography