Logica voor informatica.
Benthem, Johan van,1949-
Benthem, Johan van,1949-Logica voor informatici.
[Amsterdam] : Pearson Addison Wesley,
c2003.
Previous ed. published as: Logica voor informatici /J.F.A.K. van Benthem. Amsterdam : Addison-Wesley, 1994.
Includes bibliographical references and index.
Language and logic.