An Introduction to Non-Classical Logic More Books Like This

A Mathematical Introduction to Logic A Mathematical Introduction to Logic
2001
Logic with Trees Logic with Trees
2005
A First Course in Logic A First Course in Logic
2018
A Concise Introduction to Mathematical Logic A Concise Introduction to Mathematical Logic
2010
An Introduction to Substructural Logics An Introduction to Substructural Logics
2002
Computability and Logic Computability and Logic
2007
Logic: a Brief Course Logic: a Brief Course
2012
Logics for Computer Science Logics for Computer Science
2018
Many-Dimensional Modal Logics: Theory and Applications Many-Dimensional Modal Logics: Theory and Applications
2003
Logic for Computer Science Logic for Computer Science
2015
Fundamentals of Logic and Computation Fundamentals of Logic and Computation
2021
Logical Foundations of Computer Science Logical Foundations of Computer Science
2009
Godel's Incompleteness Theorems Godel's Incompleteness Theorems
1992
The Evolution of Modern Philosophy The Evolution of Modern Philosophy
2010
Twenty Five Years of Constructive Type Theory Twenty Five Years of Constructive Type Theory
1998