8 books • 5 series
Book #10: The Mystery of the Oak Island Treasure
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 #1: I Hope For You