160 / G564l2
Goldblatt, Robert
Logics of time and computation
/ Robert Goldblatt
.- 2nd rev. and expanded
.- Menlo Park: Csli, 1992
.- ix, 180p .
.- ( Csli Lecture Notes No.7
ISBN: 9780937073940
Subject Headings:
Modality (Logic);
Copy Details:
Acc. No.: A167378, Full Call No.: 160 G564l2, Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------