"Logics of Time and Computation (Center for the Study of Language and Information - Lecture Notes)" - читать интересную книгу автора (Robert Goldblatt)