Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
This is a classic introduction to set theory in three parts. The first part gives a general introduction to set theory, suitable for undergraduates; the second part gives a more formal... Læs mere
Bemærk: Kan ikke leveres før jul.
These notes give a self-contained treatment of the theory of o-minimal structures from a geometric and topological viewpoint, assuming only rudimentary algebra and analysis. This book should be of interest to model theorists, analytic geometers and topologists.
Bemærk: Kan ikke leveres før jul.
In this book, the general theory of stable groups is developed from the beginning, concentrating on the model- and group-theoretic aspects. It brings together the various extensions of the... Læs mere
Bemærk: Kan ikke leveres før jul.
Recent applications to bioscience have created a new audience for automata theory and formal languages. This is the only introduction to cover such applications.... Læs mere
Bemærk: Kan ikke leveres før jul.
Chaitin, the inventor of algorithmic information theory, presents in this book the strongest possible version of Gödel's incompleteness theorem, using an information theoretic approach based on the size of computer programs.
Bemærk: Kan ikke leveres før jul.
This book and its sister volume, Models and Computability, provide readers with a comprehensive guide to the mathematical logic. All the authors are leaders in their fields and are drawn... Læs mere
Bemærk: Kan ikke leveres før jul.
This book and its sister volume, Sets and Proofs, provide readers with a comprehensive guide to the current state of mathematical logic. All the authors are leaders in their... Læs mere
Bemærk: Kan ikke leveres før jul.
This volume comprises articles from four outstanding researchers who work at the cusp of analysis and logic. The emphasis is on active research topics; many results are presented that have not been published before and open problems are formulated.
Bemærk: Kan ikke leveres før jul.
Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an... Læs mere
Bemærk: Kan ikke leveres før jul.
Undergraduate textbook covering the key material for a typical first course in logic, including a full mathematical... Læs mere
Bemærk: Kan ikke leveres før jul.
Alfred Tarski, one of the greatest logicians of all time, is widely thought of as 'the man who defined truth'. From the cafes of Warsaw and Vienna to the mountains and... Læs mere
Bemærk: Kan ikke leveres før jul.
This book presents methods and results from the theory of Zariski structures and discusses their applications in geometry as well as various... Læs mere