Logics for Computer Science More Books Like This

A Course on Mathematical Logic A Course on Mathematical Logic
A Course on Mathematical Logic
2008
A Mathematical Introduction to Logic A Mathematical Introduction to Logic
A Mathematical Introduction to Logic
2001
A Concise Introduction to Mathematical Logic A Concise Introduction to Mathematical Logic
A Concise Introduction to Mathematical Logic
2010
Fundamentals of Logic and Computation Fundamentals of Logic and Computation
Fundamentals of Logic and Computation
2021
Logic for Computer Science Logic for Computer Science
Logic for Computer Science
2015
Mathematical Logic Mathematical Logic
Mathematical Logic
2010
Logical Foundations of Computer Science Logical Foundations of Computer Science
Logical Foundations of Computer Science
2009
Logic: a Brief Course Logic: a Brief Course
Logic: a Brief Course
2012
An Introduction to Substructural Logics An Introduction to Substructural Logics
An Introduction to Substructural Logics
2002
A Course in Mathematical Logic for Mathematicians A Course in Mathematical Logic for Mathematicians
A Course in Mathematical Logic for Mathematicians
2009
Twenty Five Years of Constructive Type Theory Twenty Five Years of Constructive Type Theory
Twenty Five Years of Constructive Type Theory
1998
Logic, Language, Information, and Computation Logic, Language, Information, and Computation
Logic, Language, Information, and Computation
2022
Proofs and Algorithms Proofs and Algorithms
Proofs and Algorithms
2011
Many-Dimensional Modal Logics: Theory and Applications Many-Dimensional Modal Logics: Theory and Applications
Many-Dimensional Modal Logics: Theory and Applications
2003
Proof Theory for Fuzzy Logics Proof Theory for Fuzzy Logics
Proof Theory for Fuzzy Logics
2008