Johan van Benthem
7 published titles
The logic of time : a model-theoretic investigation into the varieties of temporal ontology and temporal discourse
1 edition
- ISBN: 9027714215
- Reidel
- 1983
- Details
Essays in logical semantics
1 edition
- ISBN: 9027720916
- Reidel
- 1986
- Details
Language in action : categories, lambdas and dynamic logic
1 edition
- ISBN: 0444890009
- North-Holland
- 1991
- Details
Language in action : categories, lambdas, and dynamic logic
1 edition
- ISBN: 0262720248
- North-Holland
- 1995
- Details
Handbook of logic and language
(Contributor)
1 edition
- ISBN: 0262220539
- Elsevier
- 1997
- Details
Logica voor informatica
(Contributor)
1 edition
- ISBN: 9043007226
- Pearson Addison Wesley
- 2003
- Details
- ISBN: 9780262019903
- The MIT Press
- 2014
- Details
