1991 |
Language in Action: Categories, Lambdas and Dynamic Logic.
North-Holland,
Amsterdam
(Studies in Logic 130).
Reprint with new Appendix, The MIT Press, 1995.
|
Logic, Language and Meaning, Volume One and Volume Two.
The University of Chicago Press,
Chicago
(Expansion and revision of GAMUT 1982).
|
Logica voor Informatici.
Addison-Wesley,
Amsterdam.
[with H. van Ditmarsch, J. Ketting and W. Meyer Viol].
|
|
1996 |
Exploring Logical Dynamics.
CSLI Publications & Cambridge University Press,
Stanford and Cambridge
(Studies in Logic, Language and Information).
|
|