Intuitionistic mathematics

3 titles from
A Short Introduction to Intuitionistic Logic
Springer US (2006)

Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical...

Intuition and the Axiomatic Method

Following developments in modern geometry, logic and physics, many scientists and philosophers in...

One Hundred Years of Intuitionism (1907-2007): The Cerisy Conference

Intuitionism is one of the main foundations for mathematics proposed in the twentieth century and...