An introduction to the theory of orbifolds from a modern perspective, combining techniques from geometry, algebraic topology and algebraic geometry. …
The first systematic exposition of all the central topics in the philosophy of logic, Susan Haack's book has established an …
This is an introductory undergraduate textbook in set theory. In mathematics these days, essentially everything is a set. Some knowledge …
Popular account ranges from counting to mathematical logic and covers the many mathematical concepts that relate to infinity: graphic representation …
The study of graph structure has advanced with great strides. This book unifies and synthesizes research over the last 25 …
This is modern set theory from the ground up--from partial orderings and well-ordered sets to models, infinite cobinatorics and large …
Set Theory and the Continuum Problem is a novel introduction to set theory, including axiomatic development, consistency, and independence results. …
Descriptive Set Theory is the study of sets in separable, complete metric spaces that can be defined (or constructed), and …
In the last century developments in mathematics, philosophy, physics, computer science, economics and linguistics have proven important for the development …
Computability Theory: An Introduction to Recursion Theory, provides a concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and …
The authors cover first order logic and the main topics of set theory in a clear mathematical style with sensible …
This book is an introductory text in functional analysis. Unlike many modern treatments, it begins with the particular and works …
This book covers a wide variety of topics in combinatorics and graph theory. It includes results and problems that cross …
In the age of Machine Intelligence and computerized decision making, we have to deal with subjective imprecision inherently associated with …
What is a number? What is infinity? What is continuity? What is order? Answers to these fundamental questions obtained by …
While most texts on real analysis are content to assume the real numbers, or to treat them only briefly, this …
Set theory presents many unusual challenges to the mathematician who wishes to pursue independent study of the subject at an …
Ordered structures have been increasingly recognized in recent years due to an explosion of interest in theoretical computer science and …
An advanced graduate course. Some knowledge of forcing is assumed, and some elementary Mathematical Logic, e.g. the Lowenheim-Skolem Theorem. A …
Immanuel Kant's Critique of Pure Reason is widely taken to be the starting point of the modern period of mathematics …
There are many kinds of books on formal logic. Some have philosophers as their intended audience, some mathematicians, some computer …
The primary purpose of this undergraduate text is to teach students to do mathematical proofs. It enables readers to recognize …
In 1931, the young Kurt Gödel published his First Incompleteness Theorem, which tells us that, for any sufficiently rich theory …
Unique in its field, this book uses a methodology that is entirely new, creating the simplest and most abstract foundations …
This book presents the classic relative consistency proofs in set theory that are obtained by the device of 'inner models'. …
