The Leading eBooks Store Online
for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, Sony Reader...
Mathematical logic in Latin America
Elsevier Science 2000; US$ 250.00Provability, Computability and Reflection more...
Mathematical logic and foundations of set theory
Elsevier Science 2000; US$ 250.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...
Models and Computability
Cambridge University Press 1999; US$ 78.00Second of two volumes providing a comprehensive guide to the current state of mathematical logic. more...
Logic Colloquium 2005
Cambridge University Press 2007; US$ 82.00Surveys, tutorials, and selected research papers on recent advances in logic. more...
Logic Colloquium '87
Elsevier Science 2000; US$ 145.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$ 165.00The 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...
Mathematical Problems from Applied Logic I
Springer-Verlag New York Inc 2006; US$ 179.99Presents 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...
Logic colloquium '69
Elsevier Science 2000; US$ 250.00Provability, Computability and Reflection more...
Advances in Linear Logic
Cambridge University Press 1995; US$ 84.00This volume gives an overview of linear logic that will be useful to mathematicians and computer scientists working in this area. more...









