Logics of Time and Computation, CSLI Lecture Notes 7, CSLI/Stanford (1987)

by R Goldblatt
Venue:10] Gordon, M.J.C., ‘Representing a logic in the LCF metalanguage’, in Néel, D