de Swart, Harrie Philosophical and mathematical logic. (English) Zbl 1446.03001 Springer Undergraduate Texts in Philosophy. Cham: Springer (ISBN 978-3-030-03253-1/hbk; 978-3-030-03255-5/ebook). xx, 539 p. (2018). Reviewer: Branislav Boričić (Beograd) MSC: 03-01 03A05 03Bxx 03F30 03F40 00A30 PDFBibTeX XMLCite \textit{H. de Swart}, Philosophical and mathematical logic. Cham: Springer (2018; Zbl 1446.03001) Full Text: DOI Link
de Swart, Harrie (ed.) Special issue: Selected papers based on the presentations at the 12th international conference on relational and algebraic methods in computer science, RAMiCS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. (English) Zbl 1295.68037 J. Log. Algebr. Program. 81, No. 6, 623-717 (2012). MSC: 68-06 08A70 68N30 68Q70 68W30 00B25 PDFBibTeX XML
de Swart, Harrie (ed.) Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings. (English) Zbl 1215.68027 Lecture Notes in Computer Science 6663. Berlin: Springer (ISBN 978-3-642-21069-3/pbk). viii, 363 p. (2011). MSC: 68-06 68Qxx 00B25 PDFBibTeX XMLCite \textit{H. de Swart} (ed.), Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 -- June 3, 2011. Proceedings. Berlin: Springer (2011; Zbl 1215.68027) Full Text: DOI
de Swart, Harrie (ed.); Orłowska, Ewa (ed.); Schmidt, Gunther (ed.); Roubens, Marc (ed.) Theory and applications of relational structures as knowledge instruments II. International workshops of COST Action 274, TARSKI, 2002–2005. Selected revised papers. (English) Zbl 1151.68001 Lecture Notes in Computer Science 4342. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-540-69223-2/pbk). x, 373 p. (2006). MSC: 68-06 68T30 00B15 PDFBibTeX XMLCite \textit{H. de Swart} (ed.) et al., Theory and applications of relational structures as knowledge instruments II. International workshops of COST Action 274, TARSKI, 2002--2005. Selected revised papers. Berlin: Springer (2006; Zbl 1151.68001) Full Text: DOI
de Swart, Harrie (ed.); Orłowska, Ewa (ed.); Schmidt, Gunther (ed.); Roubens, Marc (ed.) Theory and applications of relational structures as knowledge instruments. COST Action 274, TARSKI. Revised papers. (English) Zbl 1029.00017 Lecture Notes in Computer Science. 2929. Berlin: Springer. vii, 273 p. EUR 42.00/net; $ 54.00; £32.50; sFr 72.00 (2003). MSC: 00B15 68-06 68T30 03B70 PDFBibTeX XMLCite \textit{H. de Swart} (ed.) et al., Theory and applications of relational structures as knowledge instruments. COST Action 274, TARSKI. Revised papers. Berlin: Springer (2003; Zbl 1029.00017) Full Text: DOI Link
de Swart, Harrie C. M. (ed.) Relational methods in computer science. 6th international conference, RelMiCS 2001 and 1st workshop of COST Action 274 TARSKI, Oisterwijk, The Netherlands, October 16–21, 2001. Revised papers. (English) Zbl 1014.00018 Lecture Notes in Computer Science. 2561. Berlin: Springer. x, 313 p. (2002). MSC: 00B25 68-06 03-06 03B70 03G15 PDFBibTeX XMLCite \textit{H. C. M. de Swart} (ed.), Relational methods in computer science. 6th international conference, RelMiCS 2001 and 1st workshop of COST Action 274 TARSKI, Oisterwijk, The Netherlands, October 16--21, 2001. Revised papers. Berlin: Springer (2002; Zbl 1014.00018) Full Text: DOI Link
de Swart, Harrie (ed.) Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX ’98, Oisterwijk, the Netherlands, May 5–8, 1998. Proceedings. (English) Zbl 0888.00018 Lecture Notes in Computer Science 1397. Lecture Notes in Artificial Intelligence. Berlin: Springer. x, 325 p. (1998). MSC: 00B25 03-06 68-06 PDFBibTeX XMLCite \textit{H. de Swart} (ed.), Automated reasoning with analytic tableaux and related methods. International conference, TABLEAUX '98, Oisterwijk, the Netherlands, May 5--8, 1998. Proceedings. Berlin: Springer (1998; Zbl 0888.00018)
de Swart, Harrie; Verhoeff, Tom; Brands, Renske Hintikka’s “The principles of mathematics revisited”. (English) Zbl 0977.03503 Log. Anal., Nouv. Sér. 40, No. 159, 281-289 (1997). MSC: 03A05 00A30 01A60 03B30 03B60 PDFBibTeX XMLCite \textit{H. de Swart} et al., Log. Anal., Nouv. Sér. 40, No. 159, 281--289 (1997; Zbl 0977.03503)
de Swart, H. C. M. (ed.); Bergman, L. J. M. (ed.) Perspectives on negation. Essays in honour of Johan J. de Iongh on his 80th birthday. (Perspectives sur la négation. Hommage à Johan J. de Iongh pour son 80e anniversaire.) (English, French) Zbl 0913.03002 Tilburg: Tilburg University Press. x, 220 p. (1995). Reviewer: V.V.Pambuccian (Phoenix) MSC: 03-06 00B30 00B15 03F55 03A05 03-03 03B65 00A30 03B20 PDFBibTeX XMLCite \textit{H. C. M. de Swart} (ed.) and \textit{L. J. M. Bergman} (ed.), Perspectives sur la négation. Hommage à Johan J. de Iongh pour son 80e anniversaire. Tilburg: Tilburg University Press (1995; Zbl 0913.03002)