T. S. E. Maibaum profile picture

T. S. E. Maibaum

Stand Alone

Handbook of Logic in Computer Science 5
Handbook of Logic in Computer Science: Volume 4. Semantic Modelling (Handbook of Logic in Computer Science)
Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures
Handbook of Logic in Computer Science Volume 5: Logic and Algebraic Methods