# The Leading eBooks Store Online

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

Most popular at the top

#### Many-values logics

Elsevier Science 2000; US$ 275.00Provability, Computability and Reflection 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...

#### A Short Introduction to Intuitionistic Logic

Springer US 2006; 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, 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...

#### Many-Dimensional Modal Logics

Elsevier Science 2003; US$ 225.00Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other disciplines. Celebrated for their good computational behaviour, modal logics are used as effective formalisms for talking about time, space, knowledge, beliefs, actions,... more...