# The Leading eBooks Store Online

## 3,693,353 members ⚫ 1,195,028 ebooks

Most popular at the top

#### Function Algebras on Finite Sets

Springer Berlin Heidelberg 2006; US$ 119.75Functions which are defined on finite sets occur in almost all fields of mathematics. For more than 80 years algebras whose universes are such functions (so-called function algebras), have been intensively studied. This book gives a broad introduction to the theory of function algebras and leads to the cutting edge of research. To familiarize the... more...

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

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

#### Many-values logics

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