6 books • 5 series
Book #59: The Three-Legged Society
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
Book #26: The Ague