TY  - BOOK
AU  - GOLDBLATT,ROBERT
TI  - LOGICS OF TIME AND COMPUTATION (CSLI LECTURE NOTES NO.7)
SN  - KBCS
U1  - 726 
PY  - 1987///
CY  - CALIFORNIA
PB  - CSLI
N1  - SC-44
ER  -