# The Leading eBooks Store Online

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

#### Advances in Linear Logic

Cambridge University Press 1995; US$ 87.00This volume gives an overview of linear logic that will be useful to mathematicians and computer scientists working in this area. more...

#### Infinity and Truth

World Scientific Publishing Company 2013; US$ 75.00This volume is based on the talks given at the Workshop on Infinity and Truth held at the Institute for Mathematical Sciences, National University of Singapore, from 25 to 29 July 2011. The chapters cover topics in mathematical and philosophical logic that examine various aspects of the foundations of mathematics. The theme of the volume focuses on... more...

#### Logic Colloquium '84

Elsevier Science 1986; US$ 19.95This proceedings volume contains most of the invited talks presented at the colloquium. The main topics treated are the model theory of arithmetic and algebra, the semantics of natural languages, and applications of mathematical logic to complexity theory. The volume contains both surveys by acknowledged experts and original research papers presenting... more...

#### Logic Colloquium '87

Elsevier Science 2000; US$ 170.00Fourteen papers presented at the 1987 European Summer Meeting of the Association for Symbolic Logic are collected in this volume. The main areas covered by the conference were Logic, Set Theory, Recursion Theory, Model Theory, Logic for Computer Science and Semantics of Natural Languages. more...

#### Logic Colloquium '88

Elsevier Science 1989; US$ 72.95The result of the European Summer Meeting of the Association for Symbolic Logic, this volume gives an overview of the latest developments in most of the major fields of logic being actively pursued today. As well as selected papers, the two panel discussions are also included, on ``Trends in Logic'' and ``The Teaching of Logic''. more...

#### Logic Colloquium 2005

Cambridge University Press 2007; US$ 86.00This 2007 volume includes surveys, tutorials, and selected research papers on advances in logic. more...

#### Logic and the Foundations of Game and Decision Theory (LOFT 7)

Amsterdam University Press 2008; US$ 57.50Collection of revised papers originally presented at the 7th Conference on Logic and the Foundations of Game and Decision Theory (LOFT2006). more...

#### Logic colloquium '69

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

#### Mathematical Problems from Applied Logic I

Springer-Verlag New York Inc 2006; US$ 229.00Presents chapters from selected logicians. This work provides an overview of open problems and perspectives in such fields as non-standard inferences in description logics, logic of provability, logical dynamics, and computability theory. It contains contributions concerning the role of logic. more...