Logic and Set Theory (MMath)

MMath book lists:
00: General Mathematics *
01: History of Mathematics *
03: Logic and Set Theory *
05: Combinatorics and Graph Theory *
06: Order and Lattices
08: General Algebra *
11: Number Theory *
12: Field Theory
13: Commutative Algebra
14: Algebraic Geometry *
15: Linear Algebra *
16: Noncommutative Rings
17: Lie Algebras
18: Category Theory *
19: K-Theory
20: Group Theory *
22: Lie Groups *
26: Real Analysis *
28: Measure and Integration *
30: Complex Analysis *
31: Potential Theory
32: Several Complex Variables
33: Special Functions
34: Ordinary Differential Equations
35: Partial Differential Equations *
37: Dynamical Systems and Ergodic Theory
39: Difference Equations
40: Sequences and Series
41: Approximation Theory
42: Harmonic Analysis *
43: Abstract Harmonic Analysis
44: Integral Transforms
45: Integral Equations
46: Functional Analysis *
47: Operator Theory
49: Calculus of Variations and Optimal Control
51: Geometry *
52: Convex Geometry and Discrete Geometry
53: Differential Geometry *
54: General Topology *
55: Algebraic Topology *
57: Manifolds and Cell Complexes
58: Analysis on Manifolds *
60: Probability and Stochastic Processes *
62: Statistics and Statistical Learning *
65: Numerical Methods *
68: Theoretical Computer Science *
70: Classical Mechanics *
74: Mechanics of Deformable Solids
76: Fluid Dynamics
78: Electrodynamics
80: Thermal Physics
81: Quantum Physics *
82: Statistical Physics *
83: Relativity and Gravitation *
85: Astrophysics
86: Geophysics
90: Operational Research
91: Game Theory, Economics, Finance
92: Mathematical Biology
93: Control and Systems Theory
94: Information Theory and Communication *
97: Mathematics Education *

* indicates a significant topic in undergraduate mathematics

MSC2020 mathematics subject classifications:
https://mathscinet.ams.org/mathscinet...

flag

All Votes Add Books To This List

1	How to Prove It: A Structured Approach by Daniel J. Velleman 4.30 avg rating — 965 ratings score: 456, and 5 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
2	Naive Set Theory by Paul R. Halmos 4.23 avg rating — 613 ratings score: 453, and 5 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
3	On Formally Undecidable Propositions of Principia Mathematica and Related Systems by Kurt Gödel 4.49 avg rating — 416 ratings score: 439, and 5 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
4	Homotopy Type Theory by The Univalent Foundations Program 4.51 avg rating — 53 ratings score: 427, and 5 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
5	Mathematical Logic (Dover Books on Mathematics) by Stephen Cole Kleene 4.39 avg rating — 57 ratings score: 405, and 5 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
6	Introduction to the Theory of Computation by Michael Sipser 4.24 avg rating — 2,094 ratings score: 362, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
7	Introduction to Automata Theory, Languages, and Computation by John E. Hopcroft 4.06 avg rating — 668 ratings score: 360, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
8	Principia Mathematica (3 Volume Set) by Alfred North Whitehead 3.99 avg rating — 214 ratings score: 356, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
9	Essays on the Theory of Numbers (Dover Books on Mathematics) by Richard Dedekind 4.15 avg rating — 168 ratings score: 355, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
9	Mathematical Proofs: A Transition to Advanced Mathematics (3rd Edition) by Gary Chartrand 4.08 avg rating — 161 ratings score: 355, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
11	A Mathematical Introduction to Logic by Herbert B. Enderton 3.95 avg rating — 145 ratings score: 353, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
12	Computational Complexity: A Modern Approach by Sanjeev Arora 4.33 avg rating — 135 ratings score: 348, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
13	From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 by Jean Van Heijenoort 4.60 avg rating — 50 ratings score: 330, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
14	Generatingfunctionology by Herbert S. Wilf 4.60 avg rating — 67 ratings score: 314, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
15	Patterns of Plausible Inference by George Pólya 4.51 avg rating — 53 ratings score: 309, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
16	99 Variations on a Proof by Philip Ording 4.34 avg rating — 116 ratings score: 308, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
17	Set Theory and the Continuum Hypothesis (Dover Books on Mathematics) by Paul Cohen 4.22 avg rating — 49 ratings score: 300, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
17	Set Theory and Metric Spaces by Irving Kaplansky 4.40 avg rating — 45 ratings score: 300, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
19	Set Theory: An introduction to Independence Proofs by Kenneth Kunen 4.25 avg rating — 48 ratings score: 299, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
19	Set Theory by Thomas J. Jech 4.45 avg rating — 44 ratings score: 299, and 4 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
21	Frege: Basic Laws of Arithmetic by Gottlob Frege (Translator) 4.20 avg rating — 5 ratings score: 288, and 3 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
22	The Frege Reader by Gottlob Frege 4.08 avg rating — 169 ratings score: 280, and 3 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
23	Schaum's Outline of Discrete Mathematics (Schaum's Outline Series) by Seymour Lipschutz 3.81 avg rating — 156 ratings score: 277, and 3 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
24	Computability and Logic by George S. Boolos 4.13 avg rating — 165 ratings score: 276, and 3 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
25	Lectures on the Foundations of Mathematics, Cambridge 1939 by Ludwig Wittgenstein 4.26 avg rating — 141 ratings score: 258, and 3 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
25	Elements of Set Theory by Herbert B. Enderton 4.23 avg rating — 79 ratings score: 258, and 3 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
27	Induction and Analogy in Mathematics by George Pólya 4.39 avg rating — 101 ratings score: 255, and 3 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
28	Schaum's Outline of Set Theory and Related Topics by Seymour Lipschutz 4.01 avg rating — 88 ratings score: 254, and 3 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
29	Mathematical Logic by Willard Van Orman Quine 4.08 avg rating — 75 ratings score: 251, and 3 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
30	The Foundations of Mathematics by David Tall 4.08 avg rating — 90 ratings score: 250, and 3 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
31	Axiomatic Set Theory (Dover Books on Mathematics) by Patrick C. Suppes 4.18 avg rating — 77 ratings score: 249, and 3 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
32	Topoi: The Categorial Analysis of Logic by Robert Goldblatt 4.27 avg rating — 67 ratings score: 248, and 3 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
33	Foundations of Geometry by David Hilbert 4.23 avg rating — 62 ratings score: 237, and 3 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
34	Introduction to Set Theory by Karel Hrbacek 4.35 avg rating — 57 ratings score: 234, and 3 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
35	Introduction to Logic (Dover Books on Mathematics) by Patrick C. Suppes 3.87 avg rating — 55 ratings score: 233, and 3 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
36	A Book of Set Theory (Dover Books on Mathematics) by Charles C. Pinter 4.26 avg rating — 46 ratings score: 222, and 3 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
37	Automata and Computability by Dexter C. Kozen 4.24 avg rating — 46 ratings score: 215, and 3 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
38	Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant by Adam Chlipala 4.28 avg rating — 29 ratings score: 203, and 3 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
39	Set Theory and Its Logic by Willard Van Orman Quine 3.86 avg rating — 28 ratings score: 202, and 3 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
39	The Oxford Handbook of Philosophy of Mathematics and Logic (Oxford Handbooks) by Stewart Shapiro (Editor) 4.45 avg rating — 40 ratings score: 202, and 3 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
41	Introduction to Logic by Irving M. Copi 4.06 avg rating — 902 ratings score: 199, and 2 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
42	Set Theory and Logic (Dover Books on Mathematics) by Robert Roth Stoll really liked it 4.00 avg rating — 59 ratings score: 197, and 2 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
43	Statistics As Principled Argument by Robert P. Abelson 4.17 avg rating — 107 ratings score: 169, and 2 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
44	An Introduction to Mathematical Logic (Dover Books on Mathematics) by Richard E. Hodel 4.13 avg rating — 15 ratings score: 164, and 2 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
45	Mathematics for Computer Science by Eric Lehman 3.85 avg rating — 95 ratings score: 163, and 2 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
46	Logic in Computer Science: Modelling and Reasoning About Systems by Michael Huth 3.96 avg rating — 74 ratings score: 155, and 2 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
47	Schaum's Outline of Logic (Schaum's Outline Series) by John Nolt 3.85 avg rating — 67 ratings score: 153, and 2 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
48	Practical Foundations for Programming Languages by Robert Harper 3.87 avg rating — 62 ratings score: 148, and 2 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
49	Reverse Mathematics: Proofs from the Inside Out by John Stillwell 4.22 avg rating — 60 ratings score: 122, and 2 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
50	Logic and Structure by Dirk van Dalen 3.89 avg rating — 44 ratings score: 114, and 2 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
51	The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition by Henk Barendregt 4.15 avg rating — 34 ratings score: 110, and 2 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
52	Discrete Mathematics: Introduction to Mathematical Reasoning by Susanna S. Epp 4.14 avg rating — 35 ratings score: 108, and 2 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
53	Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) by Yves Bertot 4.11 avg rating — 28 ratings score: 106, and 2 people voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
54	Introduction to Logic: And to the Methodology of Deductive Sciences (Dover Books on Mathematics) by Alfred Tarski really liked it 4.00 avg rating — 213 ratings score: 98, and 1 person voted	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars