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.

"Mathematical logic and foundations" as a book category covers rigorous treatments of formal reasoning and the basic structures that underpin mathematics: propositional and predicate logic, proof theory, model theory, set theory, recursion/ computability theory, and related topics such as type theory and categorical foundations. Works in this category range from introductory textbooks that develop syntactic and semantic tools for proving and interpreting mathematical statements to advanced monographs on consistency, independence results, constructive and reverse mathematics, and the philosophical and technical issues of formal systems. Books here often address questions about what can be proved, how proofs are organized and measured, how mathematical objects can be defined axiomatically, and how logical methods apply to computer science, algebra, and analysis; they are aimed at advanced undergraduates, graduate students, researchers, and anyone interested in the rigorous underpinnings of mathematics.

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.