Thomas S. E. Maibaum profile picture

Thomas S. E. Maibaum

Stand Alone

Handbook of Logic in Computer Science: Volume 3. Semantic Structures (Handbook of Logic in Computer Science)
The Specification of Computer Programs (International Computer Science Series)
Handbook of Logic in Computer Science Semantic structures