Harrie de SwartBooksTheory and Applications of Relational Structures As Knowledge Instruments IIPhilosophical and Mathematical LogicRelational and Algebraic Methods in Computer ScienceTheory and Applications of Relational Structures As Knowledge InstrumentsAutomated Reasoning with Analytic Tableaux and Related MethodsAuthor data: Open Library
