Models, Algebras, and Proofs More Books Like This

Turing's Legacy Turing's Legacy
Turing's Legacy
2014
Foundational Theories of Classical and Constructive Mathematics Foundational Theories of Classical and Constructive Mathematics
Foundational Theories of Classical and Constructive Mathematics
2011
Institution-independent Model Theory Institution-independent Model Theory
Institution-independent Model Theory
2008
Reflections on the Foundations of Mathematics Reflections on the Foundations of Mathematics
Reflections on the Foundations of Mathematics
2019
Introduction to Mathematical Logics Introduction to Mathematical Logics
Introduction to Mathematical Logics
2022
Logic Colloquium '87 (Enhanced Edition) Logic Colloquium '87 (Enhanced Edition)
Logic Colloquium '87 (Enhanced Edition)
2000
Relational and Algebraic Methods in Computer Science Relational and Algebraic Methods in Computer Science
Relational and Algebraic Methods in Computer Science
2011
Model Theory and Applications Model Theory and Applications
Model Theory and Applications
2011
Axiomatic Thinking I Axiomatic Thinking I
Axiomatic Thinking I
2022
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics
V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics
2022
Coalgebraic Methods in Computer Science Coalgebraic Methods in Computer Science
Coalgebraic Methods in Computer Science
2014
Petr Hájek on Mathematical Fuzzy Logic Petr Hájek on Mathematical Fuzzy Logic
Petr Hájek on Mathematical Fuzzy Logic
2014
Coalgebraic Methods in Computer Science Coalgebraic Methods in Computer Science
Coalgebraic Methods in Computer Science
2016
Turing’s Revolution Turing’s Revolution
Turing’s Revolution
2016
The Logical Foundations of Scientific Theories The Logical Foundations of Scientific Theories
The Logical Foundations of Scientific Theories
2016