7 books • 6 series
Book #7: Logics of Time and Computation
Book #43: Mathematics of Modality
Book #188: Lectures on the Hyperreals