TY - BOOK AU - Benthem,J.F.A.K.van TI - The logic of time: a model-theoretic investigation into the varieties of temporal ontology and temporal discource PY - 1983/// CY - Dordrecht PB - D. Reidel Publishing Company KW - Time KW - Logic N1 - Includes indexes; Bibliography: p.250-253 ER -