Harrie de Swart

Philosophical and Mathematical Logic

Relational and Algebraic Methods in Computer Science

Theory and Applications of Relational Structures As Knowledge Instruments II

Theory and Applications of Relational Structures As Knowledge Instruments

Automated Reasoning with Analytic Tableaux and Related Methods