# The Leading eBooks Store Online

## 4,041,502 members ⚫ 1,330,841 ebooks

#### Proceedings of the 10th Asian Logic Conference

World Scientific Publishing Company 2009; US$ 117.00 US$ 106.47The 10th Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. This meeting is held every three years and rotates among countries in the Asia-Pacific region, with interests in the broad area of logic, including theoretical computer science. It is now considered a major conference in this field and is regularly... more...

#### Provability, Computability and Reflection

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

#### Provability, Computability and Reflection

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

#### Provability, Computability and Reflection

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

#### Infinity and Truth

World Scientific Publishing Company 2013; US$ 54.00 US$ 49.14This 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...

#### Models and Computability

Cambridge University Press 1999; US$ 88.00Second of two volumes providing a comprehensive guide to the current state of mathematical logic. more...

#### Logic Colloquium '80

Elsevier Science 2009; US$ 24.95The papers appearing in this volume are part of those originally intended for presentation at the conference: Logic Colloquium '80 - European Summer Meeting of the Association for Symbolic Logic (A.S.L.) which was to take place in Prague, August 24ยท30, 1980, principally under the auspices of the Czech Academy of Sciences. There were 36 invited speakers... more...

#### Logic Colloquium 2005

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

#### Logic Colloquium '87

Elsevier Science 2000; US$ 175.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...