A Course on Mathematical Logic More Books Like This
A Concise Introduction to Mathematical Logic
2010
Logics for Computer Science
2018
Logical Foundations of Computer Science
2009
Model Theory in Algebra, Analysis and Arithmetic
2014
Logic and Algebra
2017
SET THEO & FOUNDATION MATH (V2)
2022
Mathematical Logic and Theoretical Computer Science
2020
A Logical Introduction to Proof
2012
Set Theory
2006
Aspects of Mathematical Logic
2011
Representation Theory of Finite Monoids
2016
Algebraic and Proof-theoretic Aspects of Non-classical Logics
2007
The Equationally-Defined Commutator
2015
Combinatorial Set Theory
2017
Proof and Computation
2018