A Mathematical Introduction to Logic More Books Like This

Computable Structures and the Hyperarithmetical Hierarchy Computable Structures and the Hyperarithmetical Hierarchy
Computable Structures and the Hyperarithmetical Hierarchy
2000
Set Theory and Logic Set Theory and Logic
Set Theory and Logic
2012
Many-Dimensional Modal Logics: Theory and Applications Many-Dimensional Modal Logics: Theory and Applications
Many-Dimensional Modal Logics: Theory and Applications
2003
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
Logic for Computer Science Logic for Computer Science
Logic for Computer Science
2015
Proof and Computation Proof and Computation
Proof and Computation
2018
Theory of Computation Theory of Computation
Theory of Computation
2014
Computability and Unsolvability Computability and Unsolvability
Computability and Unsolvability
2013
A Beginner's Guide to Mathematical Logic A Beginner's Guide to Mathematical Logic
A Beginner's Guide to Mathematical Logic
2014
Logic and Algebra Logic and Algebra
Logic and Algebra
2017
An Introduction to Substructural Logics An Introduction to Substructural Logics
An Introduction to Substructural Logics
2002
Elementary Induction on Abstract Structures Elementary Induction on Abstract Structures
Elementary Induction on Abstract Structures
2014
A First Course in Logic A First Course in Logic
A First Course in Logic
2018
Twenty Five Years of Constructive Type Theory Twenty Five Years of Constructive Type Theory
Twenty Five Years of Constructive Type Theory
1998
A Book of Set Theory A Book of Set Theory
A Book of Set Theory
2014