000 | 00470pam a2200181a 44500 | ||
---|---|---|---|
008 | 160408b1987 xxu||||| |||| 00| 0 eng d | ||
020 | _a937073113 | ||
082 |
_a511.3 _bG564L |
||
100 | _aGoldblatt, Robert | ||
245 | 1 | _aLOGICS OF TIME AND COMPUTATION | |
260 |
_aMenlo Park _bCsli _c1987 |
||
300 | _aix,131 | ||
440 |
_aClsi Lecture Notes _vNo. 7 |
||
650 | _aTime | ||
650 | _aLogic, Symbolic And Mathematical | ||
964 | _gCIRC | ||
997 | _aA108376 C | ||
999 |
_c320927 _d320927 |