Free Delivery Over $100
5407 books were found.
Read More >>
This is the revised edition of a well-established monograph on the identification of a canonical model in which... Read More >>
This book presents a unifying framework for using priority arguments to prove theorems in computability. Priority... Read More >>
The focus of this book is the P versus NP Question and the theory of NP-completeness. It also provides adequate... Read More >>
Not everything is black and white. Our daily lives are full of vagueness or fuzziness. Language is the most obvious... Read More >>
La logique arithmetique est la logique interne de l'arithmetique, c'est la traduction ou l'interpretation de la... Read More >>
This volume contains papers from the 29th International Conference on Application and Theory of Petri Nets and Other... Read More >>
There's Something About Godel is a lucid and accessible guide to Godel's revolutionary Incompleteness Theorem, considered... Read More >>
There's Something About Godel is a lucid and accessible guide to Godel's revolutionary Incompleteness Theorem... Read More >>
In the intervening three decades, a lot of interesting things have happened to mathematical logic: (i) Model theory... Read More >>
Das Buch, das nun in dritter, korrigierter Auflage vorliegt, behandelt die Basis-Resultate der Mengenlehre aus der... Read More >>
An Unabridged Printing, To Include Updated Typeface Read More >>
Contains the material for a first course in pure model theory with applications to differentially closed fields.... Read More >>
A Problem Course in Mathematical Logic is intended to serve as the text for an introduction to mathematical logic... Read More >>