5 works on record
Logic and Discrete Mathematics
Logic As a Tool
Temporal Logics in Computer Science - Classical Theory
Temporal Logics in Computer Science
Temporal Logics