کتاب های Thomas S. E. Maibaum
![Handbook of Logic in Computer Science, vol.2: Background. Computational structures](http://cdn.ketabkoo.com/covers/1/142400-n.jpg)
Handbook of Logic in Computer Science, vol.2: Background. Computational structures
Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.), 1992![Handbook of Logic in Computer Science, vol.3: Semantic Structures](http://cdn.ketabkoo.com/covers/1/142401-n.jpg)
Handbook of Logic in Computer Science, vol.3: Semantic Structures
Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.), 1994![Handbook of Logic in Computer Science, vol.4: Semantic Modelling](http://cdn.ketabkoo.com/covers/1/142402-n.jpg)
Handbook of Logic in Computer Science, vol.4: Semantic Modelling
Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.), 1995![Handbook of Logic in Computer Science, vol.5: Logic and Algebraic Methods](http://cdn.ketabkoo.com/covers/1/142403-n.jpg)
Handbook of Logic in Computer Science, vol.5: Logic and Algebraic Methods
Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.), 2001![Handbook of Logic in Computer Science, vol.5: Logic and Algebraic Methods](http://cdn.ketabkoo.com/covers/1/142404-n.jpg)
Handbook of Logic in Computer Science, vol.5: Logic and Algebraic Methods
Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.), 2001![The Specification of Computer Programs (International Computer Science Series)](http://cdn.ketabkoo.com/covers/10/1020870-n.jpg)