Logic for Computer Science More Books Like This

A Mathematical Introduction to Logic A Mathematical Introduction to Logic
A Mathematical Introduction to Logic
2001
Many-Dimensional Modal Logics: Theory and Applications Many-Dimensional Modal Logics: Theory and Applications
Many-Dimensional Modal Logics: Theory and Applications
2003
Set Theory and Logic Set Theory and Logic
Set Theory and Logic
2012
Computable Structures and the Hyperarithmetical Hierarchy Computable Structures and the Hyperarithmetical Hierarchy
Computable Structures and the Hyperarithmetical Hierarchy
2000
Logic and Algebra Logic and Algebra
Logic and Algebra
2017
Twenty Five Years of Constructive Type Theory Twenty Five Years of Constructive Type Theory
Twenty Five Years of Constructive Type Theory
1998
Proof and Computation Proof and Computation
Proof and Computation
2018
Residuated Lattices: An Algebraic Glimpse at Substructural Logics Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
2007
Mathematical Logic Mathematical Logic
Mathematical Logic
2018
Structure And Randomness In Computability And Set Theory Structure And Randomness In Computability And Set Theory
Structure And Randomness In Computability And Set Theory
2020
Elementary Induction on Abstract Structures Elementary Induction on Abstract Structures
Elementary Induction on Abstract Structures
2014
Fundamentals of Mathematical Logic Fundamentals of Mathematical Logic
Fundamentals of Mathematical Logic
2018
An Introduction to Substructural Logics An Introduction to Substructural Logics
An Introduction to Substructural Logics
2002
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
Model Theory Model Theory
Model Theory
2013