TY  - BOOK
AU  - Van Benthem J F A K
TI  - Logic of time :  a model-theoretic investigation into the varieties of temporal ontology and temporal discourse
T2  - Synthese theory; 156
U1  - R199, M3 
PY  - 1983///
CY  - Dordrecht
PB  - D Reidel      
N1  - Bib 250-53p
ER  -