Completeness Theory for Propositional Logics More Books Like This
Logic and Algebra
2017
Relations: Concrete, Abstract, and Applied
2020
Proof and Computation
2018
Set Theory
2011
A First Course in Mathematical Logic and Set Theory
2015
Sets And Computations
2017
Combinatorial Set Theory
2017
The Functional Calculus for Sectorial Operators
2006
Mathematical Logic and Theoretical Computer Science
2020
Elementary Operators and Their Applications
2011
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
2008
Set Theory
2006
Logica Universalis
2005
Proof Theory for Fuzzy Logics
2008
Six Lectures on Commutative Algebra
2010