Applied Logic for Computer Scientists More Books Like This
A Proof Theory for Description Logics
2012
Proof Theory and Algebra in Logic
2019
Philosophical Logic: Current Trends in Asia
2017
Logical Foundations of Computer Science
2017
Advances in Proof Theory
2016
Rigorous Software Development
2011
Automated Reasoning with Analytic Tableaux and Related Methods
2017
Logic, Language, Information, and Computation
2018
Logical Foundations of Computer Science
2015
Logic, Language, Information, and Computation
2016
Hybrid Logic and its Proof-Theory
2010
Logica Universalis
2007
Logic, Language, Information, and Computation
2017
Mathematical Logic for Computer Science
2012
Constructive Negations and Paraconsistency
2008