Mathematical Logic More Books Like This

Logics for Computer Science Logics for Computer Science
Logics for Computer Science
2018
Fundamentals of Logic and Computation Fundamentals of Logic and Computation
Fundamentals of Logic and Computation
2021
Temporal Logic and State Systems Temporal Logic and State Systems
Temporal Logic and State Systems
2008
A Concise Introduction to Mathematical Logic A Concise Introduction to Mathematical Logic
A Concise Introduction to Mathematical Logic
2006
Propositional and Predicate Calculus: A Model of Argument Propositional and Predicate Calculus: A Model of Argument
Propositional and Predicate Calculus: A Model of Argument
2005
Twenty Five Years of Constructive Type Theory Twenty Five Years of Constructive Type Theory
Twenty Five Years of Constructive Type Theory
1998
A Course in Mathematical Logic for Mathematicians A Course in Mathematical Logic for Mathematicians
A Course in Mathematical Logic for Mathematicians
2009
Logical Foundations of Computer Science Logical Foundations of Computer Science
Logical Foundations of Computer Science
2009
Mathematical Logic and Model Theory Mathematical Logic and Model Theory
Mathematical Logic and Model Theory
2011
A Modern Perspective on Type Theory A Modern Perspective on Type Theory
A Modern Perspective on Type Theory
2006
Proof Theory Proof Theory
Proof Theory
2008
Proofs and Algorithms Proofs and Algorithms
Proofs and Algorithms
2011
Sets, Models and Proofs Sets, Models and Proofs
Sets, Models and Proofs
2018
SET THEO & FOUNDATION MATH (V2) SET THEO & FOUNDATION MATH (V2)
SET THEO & FOUNDATION MATH (V2)
2022
Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version
Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version
2022