Logics of Time and Computation (0)

by R Goldblatt
Venue:Number 7 in CSLI Lecture