18 books • 5 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
Book #14: Research on the Production of Phosphate Fertilisers at the Chemical Research Laboratory