The Leading eBooks Store Online
for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, Sony Reader...
Towards Mathematical Philosophy
Springer 2008; US$ 179.99Logical investigations in cognitive science have successfully utilized methods and systems of belief revision, non-monotonic logic and dynamic epistemic logic. This title deals with focal issues of belief revision. It contains a collection of articles applying methods of logic or, more generally, of mathematics to solve problems. 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 2005
Cambridge University Press 2007; US$ 82.00Surveys, tutorials, and selected research papers on recent advances in 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 '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...
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 colloquium '69
Elsevier Science 2000; US$ 250.00Provability, Computability and Reflection 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...
Twenty Five Years of Constructive Type Theory
Clarendon Press 1998; US$ 84.99Per Martin-L--ouml--;f's work on the development of constructive type theory has been of huge significance in the fields of logic and the foundations of mathematics. It is also of broader philosophical significance, and has important applications in areas such as computing science and linguistics. This volume draws together contributions from researchers... more...









