# The Leading eBooks Store Online

## 3,788,875 members ⚫ 1,234,658 ebooks

Most popular at the top

#### Intuition and the Axiomatic Method

Springer Netherlands 2006; US$ 179.47Following developments in modern geometry, logic and physics, many scientists and philosophers in the modern era considered Kant?s theory of intuition to be obsolete. But this only represents one side of the story concerning Kant, intuition and twentieth century science. Several prominent mathematicians and physicists were convinced that the formal... more...

#### A Short Introduction to Intuitionistic Logic

Springer US 2006; US$ 95.01Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs. to make the material more accessible, basic techniques are presented first for propositional logic; Part II contains extensions to predicate logic. This material provides an introduction and a safe background for reading... more...

#### One Hundred Years of Intuitionism (1907-2007)

Birkhäuser Basel 2008; US$ 105.56Intuitionism is one of the main foundations for mathematics proposed in the twentieth century and its views on logic have also notably become important with the development of theoretical computer science. This book reviews and completes the historical account of intuitionism. It also presents recent philosophical work on intuitionism and gives examples... more...

- 1
- Page