A Concise Introduction to Mathematical Logic More Books Like This
A Mathematical Introduction to Logic
2001
Logical Foundations of Computer Science
2009
A Course on Mathematical Logic
2013
Logics for Computer Science
2018
A Course in Mathematical Logic for Mathematicians
2009
Proof and Computation
2018
Computability and Unsolvability
2013
Proof Theory for Fuzzy Logics
2008
Logic, Language, Information, and Computation
2022
SET THEO & FOUNDATION MATH (V2)
2022
Logic: a Brief Course
2012
Many-Dimensional Modal Logics: Theory and Applications
2003
Algebraic and Proof-theoretic Aspects of Non-classical Logics
2007
Temporal Logic and State Systems
2008
The Equationally-Defined Commutator
2015