511.3 / G564L
Goldblatt, Robert
LOGICS OF TIME AND COMPUTATION
/
.- Menlo Park: Csli, 1987
.- ix,131 .
.- ( Clsi Lecture Notes No. 7
ISBN: 937073113
Subject Headings:
Time;
Logic, Symbolic And Mathematical;
Copy Details:
Acc. No.: A108376, Full Call No.: 511.3 G564L, Item type: Books , Location: COMPACT STORAGE (BASEMENT),
------------------------- --------------------- ------ --------- ------- ------- --------- --------