Mathematical Logic
Suggestions for Mathematical Logic
Logic textbook Metalogic treatise Proof systems text Proof theory primer Symbolic logic text Boolean logic primer Dynamic logic primer Modal logic handbook Formal logic treatise Model theory handbook Set theory logic text Temporal logic textbook Axiomatic logic treatise First-order logic primer Algebraic logic monograph Classical logic reference Description logic handbook Infinitary logic monograph Logic and semantics primer Type theory and logic text Intuitionistic logic primer Logic programming reference Second-order logic textbook Automated reasoning handbook Computability and logic text Constructive logic monograph Finite model theory handbook Higher-order logic monograph Mathematical logic monograph Nonclassical logics handbook Abstract model theory handbook
Cambridge University Press (9781107122567)
Cambridge University Press (9781107044241) | Basic Category Theory
Cambridge University Press (9781107042599)
Birkhäuser (9780817682859)
Scarecrow Press (9780810875968) | Z of Logic
Springer (9780792366072) | Multi-Criteria Decision Making Methods, Multi-Criteria Decision
Cambridge University Press (9780521701464) | Logic Fifth Edition
Cambridge University Press (9780521594653)
Cambridge University Press (9780521483254)
Cambridge University Press (9780521424264) | Modern Approach
Wiley (9780471799412) | Logic For Dummies
John Wiley & Sons (9780470195093)
Springer (9780387401157)
Springer (9780387244181)
OUP Oxford (9780198751427) | Intermediate Logic
Princeton University Press (9780691147611)
Cambridge University Press (9780521123365) | Computational Logic
Cambridge University Press (9780521898850)
(9780521761444 / Illustrated) | Kurt Godel
(9780521775014 / Worked examples or Exercises)
(9780521527149 / 20 b/w illus.) | Modal Logic
Springer-Verlag New York Inc. (9781461428107 / XXVI, 358 p.) | Rigorous mathematical, Fundamental mathematical
Wiley (9780471137726 / Illustrations)
(9781107120327) | Theory A First Course
Springer-Verlag New York Inc. (9780387797106 / 23589860)
(9783319067247)
(9780691044903 / 52055)
(9780470280744)
(9780415215343) | Substructural logics
(9780521695244) | Quantum Groups
(9780387943749)
(9780415126007 / 9780415126007)
(9780486638294)