| 2001 |
Logic in Games (Lecture Notes & Book Preversion).
ILLC,
Amsterdam.
|
|
Logic in Action (Spinoza Project).
ILLC,
Amsterdam.
[with Paul Dekker, Jan van Eijck, Maarten de Rijke, and Yde Venema].
|
|
| 2002 |
|
Introducción a la Lógica (Spanish version GAMUT 1991).
Eudeba,
Buenos Aires.
|
|
| 2003 |
|
Logica voor Informatici (revised and expanded edition of LVI 1991).
[with Hans van Ditmarsch and Josje Lodder.].
|
|
| 2005 |
|
Hoe Wiskunde Werkt.
ILLC/KdV/IIS.
[with Robbert Dijkgraaf].
|
|
| 2009 |
|
Logica in Actie.
SDU Uitgevers,
Heerlen, The Netherlands
(electronic 'Spinoza Text').
[with Hans van Ditmarsch, Jan van Eijck, and Jan Jaspars].
|
|
