Books

Books : reviews

Robert Goldblatt.
Logics of Time and Computation: 2nd edn.
CSLI. 1992