Completeness Theory for Propositional Logics More Books Like This

Logic and Algebra Logic and Algebra
Logic and Algebra
2017
Residuated Lattices: An Algebraic Glimpse at Substructural Logics Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
2007
Set Theory Set Theory
Set Theory
2011
A First Course in Mathematical Logic and Set Theory A First Course in Mathematical Logic and Set Theory
A First Course in Mathematical Logic and Set Theory
2015
Combinatorial Set Theory Combinatorial Set Theory
Combinatorial Set Theory
2017
Proof Theory Proof Theory
Proof Theory
2013
The Functional Calculus for Sectorial Operators The Functional Calculus for Sectorial Operators
The Functional Calculus for Sectorial Operators
2006
Computable Structures and the Hyperarithmetical Hierarchy Computable Structures and the Hyperarithmetical Hierarchy
Computable Structures and the Hyperarithmetical Hierarchy
2000
Mathematical Logic and Theoretical Computer Science Mathematical Logic and Theoretical Computer Science
Mathematical Logic and Theoretical Computer Science
2020
Elementary Operators and Their Applications Elementary Operators and Their Applications
Elementary Operators and Their Applications
2011
Applied Proof Theory: Proof Interpretations and their Use in Mathematics Applied Proof Theory: Proof Interpretations and their Use in Mathematics
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
2008
A Double Hall Algebra Approach to Affine Quantum Schur–Weyl Theory A Double Hall Algebra Approach to Affine Quantum Schur–Weyl Theory
A Double Hall Algebra Approach to Affine Quantum Schur–Weyl Theory
2012
Elementary Induction on Abstract Structures Elementary Induction on Abstract Structures
Elementary Induction on Abstract Structures
2014
Set Theory Set Theory
Set Theory
2006
Logica Universalis Logica Universalis
Logica Universalis
2005