Discover new books on Goodreads
Meet your next favorite book
Sign in with Facebook
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...
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...
Score
A book’s total score is based on multiple factors, including the number of people who have voted for it and how highly those voters ranked the book.
| 1 |
|
How to Prove It: A Structured Approach
by
4.30 avg rating — 965 ratings
score: 456,
and
5 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 2 |
|
Naive Set Theory
by
4.23 avg rating — 613 ratings
score: 453,
and
5 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 3 |
|
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
by
4.49 avg rating — 416 ratings
score: 439,
and
5 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 4 |
|
Homotopy Type Theory
by
4.51 avg rating — 53 ratings
score: 427,
and
5 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 5 |
|
Mathematical Logic (Dover Books on Mathematics)
by
4.40 avg rating — 58 ratings
score: 405,
and
5 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 6 |
|
Introduction to the Theory of Computation
by
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
|
| 7 |
|
Introduction to Automata Theory, Languages, and Computation
by
4.06 avg rating — 668 ratings
score: 360,
and
4 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 8 |
|
Principia Mathematica (3 Volume Set)
by
3.99 avg rating — 214 ratings
score: 356,
and
4 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 9 |
|
Essays on the Theory of Numbers (Dover Books on Mathematics)
by
4.15 avg rating — 168 ratings
score: 355,
and
4 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 9 |
|
Mathematical Proofs: A Transition to Advanced Mathematics (3rd Edition)
by
4.09 avg rating — 162 ratings
score: 355,
and
4 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 11 |
|
A Mathematical Introduction to Logic
by
3.95 avg rating — 145 ratings
score: 353,
and
4 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 12 |
|
Computational Complexity: A Modern Approach
by
4.33 avg rating — 135 ratings
score: 348,
and
4 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 13 |
|
From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931
by
4.60 avg rating — 50 ratings
score: 330,
and
4 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 14 |
|
Generatingfunctionology
by
4.60 avg rating — 67 ratings
score: 314,
and
4 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 15 |
|
Patterns of Plausible Inference
by
4.51 avg rating — 53 ratings
score: 309,
and
4 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 16 |
|
99 Variations on a Proof
by
4.34 avg rating — 116 ratings
score: 308,
and
4 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 17 |
|
Set Theory and the Continuum Hypothesis (Dover Books on Mathematics)
by
4.22 avg rating — 49 ratings
score: 300,
and
4 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 17 |
|
Set Theory and Metric Spaces
by
4.40 avg rating — 45 ratings
score: 300,
and
4 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 19 |
|
Set Theory: An introduction to Independence Proofs
by
4.25 avg rating — 48 ratings
score: 299,
and
4 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 19 |
|
Set Theory
by
4.45 avg rating — 44 ratings
score: 299,
and
4 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 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
|
| 22 |
|
The Frege Reader
by
4.08 avg rating — 169 ratings
score: 280,
and
3 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 23 |
|
Schaum's Outline of Discrete Mathematics (Schaum's Outline Series)
by
3.81 avg rating — 156 ratings
score: 277,
and
3 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 24 |
|
Computability and Logic
by
4.13 avg rating — 165 ratings
score: 276,
and
3 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 25 |
|
Lectures on the Foundations of Mathematics, Cambridge 1939
by
4.26 avg rating — 141 ratings
score: 258,
and
3 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 25 |
|
Elements of Set Theory
by
4.23 avg rating — 79 ratings
score: 258,
and
3 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 27 |
|
Induction and Analogy in Mathematics
by
4.39 avg rating — 101 ratings
score: 255,
and
3 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 28 |
|
Schaum's Outline of Set Theory and Related Topics
by
4.01 avg rating — 88 ratings
score: 254,
and
3 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 29 |
|
Mathematical Logic
by
4.08 avg rating — 75 ratings
score: 251,
and
3 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 30 |
|
The Foundations of Mathematics
by
4.08 avg rating — 90 ratings
score: 250,
and
3 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 31 |
|
Axiomatic Set Theory (Dover Books on Mathematics)
by
4.18 avg rating — 77 ratings
score: 249,
and
3 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 32 |
|
Topoi: The Categorial Analysis of Logic
by
4.27 avg rating — 67 ratings
score: 248,
and
3 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 33 |
|
Foundations of Geometry
by
4.23 avg rating — 62 ratings
score: 237,
and
3 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 34 |
|
Introduction to Set Theory
by
4.35 avg rating — 57 ratings
score: 234,
and
3 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 35 |
|
Introduction to Logic (Dover Books on Mathematics)
by
3.87 avg rating — 55 ratings
score: 233,
and
3 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 36 |
|
A Book of Set Theory (Dover Books on Mathematics)
by
4.26 avg rating — 46 ratings
score: 222,
and
3 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 37 |
|
Automata and Computability
by
4.24 avg rating — 46 ratings
score: 215,
and
3 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 38 |
|
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
by
4.28 avg rating — 29 ratings
score: 203,
and
3 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 39 |
|
Set Theory and Its Logic
by
3.86 avg rating — 28 ratings
score: 202,
and
3 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 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
|
| 41 |
|
Introduction to Logic
by
4.06 avg rating — 902 ratings
score: 199,
and
2 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 42 |
|
Set Theory and Logic (Dover Books on Mathematics)
by
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
|
| 43 |
|
Statistics As Principled Argument
by
4.17 avg rating — 107 ratings
score: 169,
and
2 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 44 |
|
An Introduction to Mathematical Logic (Dover Books on Mathematics)
by
4.13 avg rating — 15 ratings
score: 164,
and
2 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 45 |
|
Mathematics for Computer Science
by
3.85 avg rating — 95 ratings
score: 163,
and
2 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 46 |
|
Logic in Computer Science: Modelling and Reasoning About Systems
by
3.96 avg rating — 74 ratings
score: 155,
and
2 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 47 |
|
Schaum's Outline of Logic (Schaum's Outline Series)
by
3.85 avg rating — 67 ratings
score: 153,
and
2 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 48 |
|
Practical Foundations for Programming Languages
by
3.87 avg rating — 62 ratings
score: 148,
and
2 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 49 |
|
Reverse Mathematics: Proofs from the Inside Out
by
4.22 avg rating — 60 ratings
score: 122,
and
2 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 50 |
|
Logic and Structure
by
3.89 avg rating — 44 ratings
score: 114,
and
2 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 51 |
|
The Lambda Calculus, Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics, Volume 103). Revised Edition
by
4.15 avg rating — 34 ratings
score: 110,
and
2 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 52 |
|
Discrete Mathematics: Introduction to Mathematical Reasoning
by
4.17 avg rating — 36 ratings
score: 108,
and
2 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 53 |
|
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
by
4.11 avg rating — 28 ratings
score: 106,
and
2 people voted
|
Error rating book. Refresh and try again.
Rate this book
Clear rating
|
| 54 |
|
Introduction to Logic: And to the Methodology of Deductive Sciences (Dover Books on Mathematics)
by
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
|
Anyone can add books to this list.
How to Vote
To vote on existing books from the list, beside each book there is a link vote for this book clicking it will add that book to your votes.
To vote on books not in the list or books you couldn't find in the list, you can click on the tab add books to this list and then choose from your books, or simply search.
