Starting with the most basic notions, Universal Algebra: Fundamentals and Selected Topics introduces all the key elements needed to read …
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 …
This is modern set theory from the ground up--from partial orderings and well-ordered sets to models, infinite cobinatorics and large …
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 …
The Mathematical Mind of F. M. Dostoevsky: Imaginary Numbers, Non-Euclidean Geometry, and Infinity reconstructs the curriculum and readings that F. …
Set Theory and the Continuum Problem is a novel introduction to set theory, including axiomatic development, consistency, and independence results. …
Ordered structures have been increasingly recognized in recent years due to an explosion of interest in theoretical computer science and …
Descriptive Set Theory is the study of sets in separable, complete metric spaces that can be defined (or constructed), and …
An advanced graduate course. Some knowledge of forcing is assumed, and some elementary Mathematical Logic, e.g. the Lowenheim-Skolem Theorem. A …
An introduction to the theory of orbifolds from a modern perspective, combining techniques from geometry, algebraic topology and algebraic geometry. …
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 …
The study of graph structure has advanced with great strides. This book unifies and synthesizes research over the last 25 …
