کتاب های Thomas S E Maibaum (eds.)
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
Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.), 1994
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
Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.), 2001
Handbook of Logic in Computer Science, vol.5: Logic and Algebraic Methods
Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.), 2001
