Relations: Concrete, Abstract, and Applied More Books Like This
Algebraic Methods in General Rough Sets
2019
Logic and Algebra
2017
Mathematical Logic and Theoretical Computer Science
2020
Coalgebraic Methods in Computer Science
2022
Realizability
2008
Coalgebraic Methods in Computer Science
2018
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
2007
Completeness Theory for Propositional Logics
2008
A First Course in Mathematical Logic and Set Theory
2015
Conditionals and Modularity in General Logics
2011
A Second Course in Topos Quantum Theory
2018
Set Theory
2011
Relations and Kleene Algebra in Computer Science
2009
Computable Structures and the Hyperarithmetical Hierarchy
2000
Positivity and its Applications
2021