Get personalized book recommendations based on your reading history and preferences. Our algorithm analyzes your favorite books and reading patterns to suggest your next great read.

The Foundations of Mathematics category comprises books that investigate the logical, conceptual, and philosophical underpinnings of mathematics—how mathematical truth is defined, justified, and limited. Titles in this area cover topics such as axiomatic systems (e.g., ZFC), set theory, mathematical logic, proof and model theory, computability, type theory, and category-theoretic approaches, alongside foundational programs like logicism, formalism, intuitionism, and constructivism. Readers will encounter core results on completeness, incompleteness, consistency, and independence, as well as discussions of rigor, proof methods, paradoxes, and the nature of formal reasoning. The collection ranges from accessible introductions to advanced monographs, serving students and researchers in mathematics, computer science, and philosophy who want to understand how mathematics is built and what its formal limits are.

Filter books by their publication year. Enter the earliest year (Start) and latest year (End) to find books published within that period. Leave either field empty to search from the beginning of time or up to the present day.