TY  - BOOK
AU  - Goldblatt, Robert
TI  - LOGICS OF TIME AND COMPUTATION
SN  - 937073113
U1  - 511.3 
PY  - 1987///
CY  - Menlo Park
PB  - Csli
KW  - Time
KW  - Logic, Symbolic And Mathematical
ER  -