Your search returned 2 results. Subscribe to this search

|
The logic of time : a model-theoretic investigation into the varieties of temporal ontology and temporal discourse / Johan van Benthem Monografia Publication Dordrecht : Kluwer Academic Publishers, 1991 Description XXII, 280 p. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Language in action : categories, lambdas and dynamic logic / Johan Van Benthem Monografia Publication Amsterdam : North-Holland, imp. 1994 Description X, 349 p. ; 23 cm + 1 adenda com 13 p. LocationBiblioteca Geral da Universidade do Minho Availability Available (1).