1 book • 1 series
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