Harrie de Swart

• Philosophical and Mathematical Logic
• Relational and Algebraic Methods in Computer Science
• Automated Reasoning with Analytic Tableaux and Related Methods
• Theory and Applications of Relational Structures As Knowledge Instruments
• Theory and Applications of Relational Structures As Knowledge Instruments II