Goldblatt, R.
Logics of time and computation - 2nd ed. - Stanford CSLI Publications 1992 - ix, 180p. - CSLI lecture notes; no. 7 .
0-937-07393-8
Logics of time and computation - 2nd ed. - Stanford CSLI Publications 1992 - ix, 180p. - CSLI lecture notes; no. 7 .
0-937-07393-8