> Multivolume work
-
Logic 2 Logic and computer science H. C. M. de Swart
Frankfurt am Main: Lang, 1994
-
Logic 1 Logic: mathematics, language and philosophy H. C. M. de Swart
Frankfurt am Main: Lang, 1993