TY  - BOOK
AU  - Benthem, J. F. A. K. Van
TI  - LOGIC OF TIME
U1  - 115 
PY  - 1983///
CY  - Dordrecht
PB  - D. Reidel
KW  - Time
KW  - Logic
N1  - Bibliography : P. 250-260
ER  -