Logics of time and computation. Number 7 (1987)

by R Goldblatt
Venue:in CSLI Lecture Notes. Center for the Study of Language and Information