Category theory is a branch of pure mathematics that is becoming an increasingly important tool in theoretical computer science, especially …
This text presents methods of modern set theory as tools that can be usefully applied to other areas of mathematics. …
Now in its fourth edition, this book has become a classic because of its accessibility to students without a mathematical …
Aimed at research logicians and mathematicians, this much-awaited monograph covers over forty years of work on relative classification theory for …
While many books have been written about Bertrand Russell's philosophy and some on his logic, I. Grattan-Guinness has written the …
Marcus Giaquinto tells the compelling story of one of the great intellectual adventures of the modern era: the attempt to …
Set theory, logic and category theory lie at the foundations of mathematics, and have a dramatic effect on the mathematics …
Designed for undergraduate students of set theory, Classic Set Theory presents a modern perspective of the classic work of Georg …
This volume of recent writings, some previously unpublished, follows the sequence of a typical intermediate or upper-level logic course and …
This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories …
This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in …
This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in …
Exploring philosophical questions about infinity, Graham Oppy examines how the infinite lurks everywhere, both in science and in our ordinary …
This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in …
Starting with the most basic notions, Universal Algebra: Fundamentals and Selected Topics introduces all the key elements needed to read …
The Mathematical Mind of F. M. Dostoevsky: Imaginary Numbers, Non-Euclidean Geometry, and Infinity reconstructs the curriculum and readings that F. …
This book covers a wide variety of topics in combinatorics and graph theory. It includes results and problems that cross …
There are many kinds of books on formal logic. Some have philosophers as their intended audience, some mathematicians, some computer …
