M. Finger
1 book • 2 series
Oxford Logic Guides
Book #28: Temporal Logic: Volume 1
Book #33: Labelled Deductive Systems
Book #38: Fibring Logics
Book #40: Temporal Logic: Volume 2
Book #46: Interpolation and Definability
Temporal Logic
Book #28: Temporal Logic: Volume 1
Book #40: Temporal Logic: Volume 2