# The Leading eBooks Store Online

## 4,130,202 members ⚫ 1,348,641 ebooks

Most popular at the top

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

BirkhĂ¤user Basel 2008; US$ 122.30Intuitionism 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...

#### Provability, Computability and Reflection

Elsevier Science 2000; US$ 275.00Provability, Computability and Reflection more...

#### Representation of Multiple-Valued Logic Functions

Morgan & Claypool Publishers 2012; US$ 36.00Compared to binary switching functions, the multiple-valued functions (MV) offer more compact representations of the information content of signals modeled by logic functions and, therefore, their use fits very well in the general settings of data compression attempts and approaches. The first task in dealing with such signals is to provide mathematical... more...

#### Many-Dimensional Modal Logics: Theory and Applications

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...