Mathematical Logic Books

Showing 1-50 of 236
A Mathematical Introduction to Logic A Mathematical Introduction to Logic (Hardcover)
by (shelved 9 times as mathematical-logic)
avg rating 3.95 — 145 ratings — published 1972
Rate this book
Clear rating
Introduction to Mathematical Logic Introduction to Mathematical Logic (Hardcover)
by (shelved 7 times as mathematical-logic)
avg rating 4.04 — 75 ratings — published 1979
Rate this book
Clear rating
Mathematical Logic (Addison-Wesley Series in Logic) Mathematical Logic (Addison-Wesley Series in Logic)
by (shelved 7 times as mathematical-logic)
avg rating 4.10 — 21 ratings — published 2001
Rate this book
Clear rating
Mathematical Logic (Dover Books on Mathematics) Mathematical Logic (Dover Books on Mathematics)
by (shelved 6 times as mathematical-logic)
avg rating 4.40 — 58 ratings — published 1967
Rate this book
Clear rating
A Concise Introduction to Mathematical Logic (Universitext) A Concise Introduction to Mathematical Logic (Universitext)
by (shelved 6 times as mathematical-logic)
avg rating 4.29 — 7 ratings — published 2006
Rate this book
Clear rating
Computability and Logic Computability and Logic (Paperback)
by (shelved 5 times as mathematical-logic)
avg rating 4.14 — 165 ratings — published 1980
Rate this book
Clear rating
Model Theory: An Introduction (Graduate Texts in Mathematics, Vol. 217) Model Theory: An Introduction (Graduate Texts in Mathematics, Vol. 217)
by (shelved 4 times as mathematical-logic)
avg rating 4.05 — 22 ratings — published 2002
Rate this book
Clear rating
Introduction to Logic: And to the Methodology of Deductive Sciences (Dover Books on Mathematics) Introduction to Logic: And to the Methodology of Deductive Sciences (Dover Books on Mathematics)
by (shelved 4 times as mathematical-logic)
avg rating 4.00 — 214 ratings — published 1993
Rate this book
Clear rating
Introduction to Metamathematics Introduction to Metamathematics (Hardcover)
by (shelved 4 times as mathematical-logic)
avg rating 4.41 — 34 ratings — published 1971
Rate this book
Clear rating
A Beginner's Guide to Mathematical Logic (Dover Books on Mathematics) A Beginner's Guide to Mathematical Logic (Dover Books on Mathematics)
by (shelved 4 times as mathematical-logic)
avg rating 3.96 — 82 ratings — published 2014
Rate this book
Clear rating
Friendly Introduction to Mathematical Logic, A Friendly Introduction to Mathematical Logic, A (Hardcover)
by (shelved 4 times as mathematical-logic)
avg rating 3.72 — 25 ratings — published 1999
Rate this book
Clear rating
MATHEMATICAL LOGIC OTIL PAPER (Oxford Texts in Logic) MATHEMATICAL LOGIC OTIL PAPER (Oxford Texts in Logic)
by (shelved 4 times as mathematical-logic)
avg rating 3.88 — 34 ratings — published 2007
Rate this book
Clear rating
A Course In Mathematical Logic A Course In Mathematical Logic (Hardcover)
by (shelved 4 times as mathematical-logic)
avg rating 3.20 — 5 ratings — published 1977
Rate this book
Clear rating
A Course in Mathematical Logic (Graduate Texts in Mathematics) A Course in Mathematical Logic (Graduate Texts in Mathematics)
by (shelved 4 times as mathematical-logic)
avg rating 4.27 — 15 ratings — published 1977
Rate this book
Clear rating
First-Order Logic (Dover Books on Mathematics) First-Order Logic (Dover Books on Mathematics)
by (shelved 4 times as mathematical-logic)
avg rating 4.11 — 83 ratings — published 1968
Rate this book
Clear rating
Logic and Structure Logic and Structure (Paperback)
by (shelved 4 times as mathematical-logic)
avg rating 3.89 — 44 ratings — published 1980
Rate this book
Clear rating
An Introduction to Symbolic Logic An Introduction to Symbolic Logic (Paperback)
by (shelved 3 times as mathematical-logic)
avg rating 3.96 — 50 ratings — published 1967
Rate this book
Clear rating
Introducing Logic: A Graphic Guide Introducing Logic: A Graphic Guide (Kindle Edition)
by (shelved 3 times as mathematical-logic)
avg rating 3.62 — 1,121 ratings — published 2001
Rate this book
Clear rating
Propositional and Predicate Calculus: A Model of Argument Propositional and Predicate Calculus: A Model of Argument (Unknown Binding)
by (shelved 3 times as mathematical-logic)
avg rating 4.40 — 25 ratings — published 2005
Rate this book
Clear rating
Notes on Logic and Set Theory (Cambridge Mathematical Textbooks) Notes on Logic and Set Theory (Cambridge Mathematical Textbooks)
by (shelved 3 times as mathematical-logic)
avg rating 3.75 — 4 ratings — published 1987
Rate this book
Clear rating
Mathematical Logic, 2nd Edition Mathematical Logic, 2nd Edition (Hardcover)
by (shelved 3 times as mathematical-logic)
avg rating 4.35 — 31 ratings — published 1978
Rate this book
Clear rating
From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 (Paperback)
by (shelved 3 times as mathematical-logic)
avg rating 4.60 — 50 ratings — published 1931
Rate this book
Clear rating
Gödel's Proof Gödel's Proof (Hardcover)
by (shelved 3 times as mathematical-logic)
avg rating 4.19 — 5,521 ratings — published 1958
Rate this book
Clear rating
What Logics Mean: From Proof Theory to Model-Theoretic Semantics What Logics Mean: From Proof Theory to Model-Theoretic Semantics (Hardcover)
by (shelved 2 times as mathematical-logic)
avg rating 3.67 — 6 ratings — published 2013
Rate this book
Clear rating
Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Universitext) Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Universitext)
by (shelved 2 times as mathematical-logic)
avg rating 4.65 — 26 ratings — published 1992
Rate this book
Clear rating
Finite Model Theory: Second Edition (Springer Monographs in Mathematics) Finite Model Theory: Second Edition (Springer Monographs in Mathematics)
by (shelved 2 times as mathematical-logic)
avg rating 4.17 — 6 ratings — published 1995
Rate this book
Clear rating
Alternative Logics. Do Sciences Need Them? Alternative Logics. Do Sciences Need Them? (Hardcover)
by (shelved 2 times as mathematical-logic)
avg rating 0.0 — 0 ratings — published 2003
Rate this book
Clear rating
Beginning Mathematical Logic: A Study Guide Beginning Mathematical Logic: A Study Guide (Paperback)
by (shelved 2 times as mathematical-logic)
avg rating 4.89 — 9 ratings — published
Rate this book
Clear rating
Introduction to Logic Introduction to Logic (Paperback)
by (shelved 2 times as mathematical-logic)
avg rating 4.06 — 905 ratings — published 1953
Rate this book
Clear rating
Classic Set Theory (Chapman & Hall Mathematics S) Classic Set Theory (Chapman & Hall Mathematics S)
by (shelved 2 times as mathematical-logic)
avg rating 4.25 — 20 ratings — published 1996
Rate this book
Clear rating
Set Theory and Metric Spaces Set Theory and Metric Spaces (Hardcover)
by (shelved 2 times as mathematical-logic)
avg rating 4.40 — 45 ratings — published 1977
Rate this book
Clear rating
First Course in Mathematical Logic (Dover Books on Mathematics) First Course in Mathematical Logic (Dover Books on Mathematics)
by (shelved 2 times as mathematical-logic)
avg rating 4.46 — 26 ratings — published 1964
Rate this book
Clear rating
An Introduction to Formal Logic An Introduction to Formal Logic (Hardcover)
by (shelved 2 times as mathematical-logic)
avg rating 3.94 — 110 ratings — published 2003
Rate this book
Clear rating
A Modern Formal Logic Primer: Sentence Logic, Volume I A Modern Formal Logic Primer: Sentence Logic, Volume I (Paperback)
by (shelved 2 times as mathematical-logic)
avg rating 4.13 — 39 ratings — published 1989
Rate this book
Clear rating
Symbolic Logic: A First Course Symbolic Logic: A First Course (Paperback)
by (shelved 2 times as mathematical-logic)
avg rating 4.29 — 17 ratings — published 1994
Rate this book
Clear rating
Understanding Symbolic Logic (5th Edition) Understanding Symbolic Logic (5th Edition)
by (shelved 2 times as mathematical-logic)
avg rating 3.83 — 145 ratings — published 1983
Rate this book
Clear rating
The Mathematical Analysis of Logic The Mathematical Analysis of Logic (Paperback)
by (shelved 2 times as mathematical-logic)
avg rating 4.10 — 52 ratings — published 1847
Rate this book
Clear rating
Axiomatic Set Theory (Dover Books on Mathematics) Axiomatic Set Theory (Dover Books on Mathematics)
by (shelved 2 times as mathematical-logic)
avg rating 4.18 — 77 ratings — published 1968
Rate this book
Clear rating
First Order Mathematical Logic (Dover Books on Mathematics) First Order Mathematical Logic (Dover Books on Mathematics)
by (shelved 2 times as mathematical-logic)
avg rating 4.38 — 13 ratings — published 1990
Rate this book
Clear rating
How to read and do proofs How to read and do proofs (Paperback)
by (shelved 2 times as mathematical-logic)
avg rating 3.92 — 155 ratings — published 1982
Rate this book
Clear rating
How to Prove It: A Structured Approach How to Prove It: A Structured Approach (Paperback)
by (shelved 2 times as mathematical-logic)
avg rating 4.30 — 969 ratings — published 1994
Rate this book
Clear rating
Incompleteness: The Proof and Paradox of Kurt Gödel (Great Discoveries) Incompleteness: The Proof and Paradox of Kurt Gödel (Great Discoveries)
by (shelved 2 times as mathematical-logic)
avg rating 3.99 — 1,731 ratings — published 2005
Rate this book
Clear rating
The Blind Spot: Lectures on Logic The Blind Spot: Lectures on Logic (Hardcover)
by (shelved 2 times as mathematical-logic)
avg rating 3.89 — 9 ratings — published 2011
Rate this book
Clear rating
A First Course in Mathematical Logic and Set Theory A First Course in Mathematical Logic and Set Theory (Hardcover)
by (shelved 2 times as mathematical-logic)
avg rating 4.50 — 2 ratings — published
Rate this book
Clear rating
Godel's Incompleteness Theorems (Oxford Logic Guides) Godel's Incompleteness Theorems (Oxford Logic Guides)
by (shelved 2 times as mathematical-logic)
avg rating 4.38 — 65 ratings — published 1992
Rate this book
Clear rating
Handbook of Mathematical Logic (Volume 90) (Studies in Logic and the Foundations of Mathematics, Volume 90) Handbook of Mathematical Logic (Volume 90) (Studies in Logic and the Foundations of Mathematics, Volume 90)
by (shelved 2 times as mathematical-logic)
avg rating 4.50 — 4 ratings — published 1982
Rate this book
Clear rating
What is Mathematical Logic? (Dover Books on Mathematics) What is Mathematical Logic? (Dover Books on Mathematics)
by (shelved 2 times as mathematical-logic)
avg rating 3.70 — 33 ratings — published 1972
Rate this book
Clear rating
Mathematical Logic Mathematical Logic (Paperback)
by (shelved 2 times as mathematical-logic)
avg rating 4.08 — 75 ratings — published 1951
Rate this book
Clear rating
Elements of Logical Reasoning Elements of Logical Reasoning (Hardcover)
by (shelved 2 times as mathematical-logic)
avg rating 2.86 — 7 ratings — published 2014
Rate this book
Clear rating
First-Order Logic and Automated Theorem Proving (Texts in Computer Science) First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
by (shelved 2 times as mathematical-logic)
avg rating 4.60 — 5 ratings — published 1990
Rate this book
Clear rating