Logic: a Brief Course More Books Like This

Logics for Computer Science Logics for Computer Science
Logics for Computer Science
2018
A Concise Introduction to Mathematical Logic A Concise Introduction to Mathematical Logic
A Concise Introduction to Mathematical Logic
2010
Theory of Computation Theory of Computation
Theory of Computation
2014
An Introduction to Substructural Logics An Introduction to Substructural Logics
An Introduction to Substructural Logics
2002
A Beginner's Further Guide to Mathematical Logic A Beginner's Further Guide to Mathematical Logic
A Beginner's Further Guide to Mathematical Logic
2017
Fundamentals of Logic and Computation Fundamentals of Logic and Computation
Fundamentals of Logic and Computation
2021
Logical Foundations of Computer Science Logical Foundations of Computer Science
Logical Foundations of Computer Science
2009
A First Course in Logic A First Course in Logic
A First Course in Logic
2018
Godel's Incompleteness Theorems Godel's Incompleteness Theorems
Godel's Incompleteness Theorems
1992
Aspects of Mathematical Logic Aspects of Mathematical Logic
Aspects of Mathematical Logic
2011
A Course on Mathematical Logic A Course on Mathematical Logic
A Course on Mathematical Logic
2008
Proofs and Algorithms Proofs and Algorithms
Proofs and Algorithms
2011
A First Course in Mathematical Logic and Set Theory A First Course in Mathematical Logic and Set Theory
A First Course in Mathematical Logic and Set Theory
2015
A Course in Mathematical Logic for Mathematicians A Course in Mathematical Logic for Mathematicians
A Course in Mathematical Logic for Mathematicians
2009
A Transition to Proof A Transition to Proof
A Transition to Proof
2019