Descriptive Complexity, Canonisation, and Definable Graph Structure Theory
This groundbreaking, yet accessible book contains original results on the interaction between...
EAN: 9781107014527
Errors, Blunders, and Lies
In this follow-up to the author's bestselling classic, "The Lady Tasting Tea," David Salsburg...
EAN: 9781138726987
Mathematics for the Million
Taking only a modicum of knowledge for granted, Lancelot Hogben leads readers of this famous book...
EAN: 9781911440581
Periods and Nori Motives
This book casts the theory of periods of algebraic varieties in the natural setting of Madhav...
EAN: 9783319509259
Harmonies of Disorder
This book presents the entire body of thought of Norbert Wiener (1894–1964), knowledge of which...
EAN: 9783319506562
Core Logic
Neil Tennant presents an original logical system with unusual philosophical, proof-theoretic,...
EAN: 9780198777892
Einfuhrung in die Kategorientheorie
Die Kategorientheorie deckt die innere Architektur der Mathematik auf. Dabei werden die...
EAN: 9783662535202
Interpreting Godel
In this groundbreaking volume, leading philosophers and mathematicians explore almost every...
EAN: 9781316639771
Strange Functions in Real Analysis
This book explores a number of important examples and constructions of pathological functions....
EAN: 9781498773140
Computability in Analysis and Physics
This is the first graduate-level treatment of computable analysis within the tradition of...
EAN: 9781107168442
Higher Recursion Theory
This introduction to higher recursion theory is essential reading for all researchers in the...
EAN: 9781107168435
Metamathematics of First-Order Arithmetic
This much-needed monograph on the metamathematics of first-order arithmetic pays particular...
EAN: 9781107168411
Constructibility
This comprehensive account of the theory of constructible sets at an advanced level provides...
EAN: 9781107168350
Model-Theoretic Logics
In this volume the authors bring together several directions of work in model theory between the...
EAN: 9781107168251
Recursion-Theoretic Hierarchies
The theory set out in this volume is the result of the meeting and common development of two...
EAN: 9781107168244
General Recursion Theory
This volume presents a unified and coherent account of general recursion theory. The main core of...
EAN: 9781107168169
Degrees of Unsolvability
This volume presents a systematic study of the interaction between local and global degree...
EAN: 9781107168138
General Algebraic Semantics for Sentential Logics
This monograph is an exposition of the very general approach to the algebraization of sentential...
EAN: 9781107167971
Core Model Iterability Problem
Large cardinal hypotheses play a central role in modern set theory. This volume develops a method...
EAN: 9781107167964
Bounded Variable Logics and Counting
This study introduces some central ideas and lines of research in finite model theory -...
EAN: 9781107167940
Aspects of Incompleteness
This volume presents some of the main areas and results of general metamathematics. In addition...
EAN: 9781107167926
Essentials of Mathematical Thinking
This title may be thought of as a book for nonmathematicians taking an undergraduate mathematics...
EAN: 9781138197701
