# The Leading eBooks Store Online

## for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, BlackBerry...

Most popular at the top

#### A Short Introduction to Intuitionistic Logic

Springer 2000; US$ 119.00Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs to make the material more accessible. The presentation is based on natural deduction and readers are assumed to be familiar with basic notions of first order logic. more...

#### Intuition and the Axiomatic Method

Springer Netherlands 2006; US$ 269.00Following 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...

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

Birkhäuser Basel 2008; US$ 169.00Intuitionism 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