# The Leading eBooks Store Online

## 3,508,729 members ⚫ 2,065,349 ebooks

Most popular at the top

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

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

#### Twenty Five Years of Constructive Type Theory

Clarendon Press 1998; US$ 92.99Martin-Löf Type Theory is both an important and practical formalization and a focus for a charismatic view of the foundations of mathematics. Per Martin-Löf's work has been of huge significance in the fields of logic and the foundations of mathematics, and has important applications in areas such as computing science and linguistics. This volume celebrates... more...

#### Advances in Linear Logic

Cambridge University Press 1995; US$ 92.00This volume gives an overview of linear logic that will be useful to mathematicians and computer scientists working in this area. 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...

#### Infinity and Truth

World Scientific Publishing Company 2013; US$ 54.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 2011; 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...

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

World Scientific Publishing Company 2009; US$ 117.00The 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...

#### Mathematical Problems from Applied Logic I

Springer New York 2006; US$ 229.00Mathematical Problems from Applied Logic I presents chapters from selected, world renowned, logicians. Important topics of logic are discussed from the point of view of their further development in light of requirements arising from their successful application in areas such as Computer Science and AI language. An overview of the current state as... more...