Logics of time and computation.

GOLDBLATT, R.

CSLI Publications, Stanford, 1987

ISBN: 0937073121

23 cm. original softcover. x,132 pp. bibliography. index. "Lecture Notes". -(few signs of use, otherwise (very) good).