Handbook of Logic in Computer Science
-
Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures
By Dov M. Gabbay, S. Abramsky, T. S. E. MaibaumThis handbook volume covers fundamental topics of semantics in logic and computation. The chapters (some monographic in length), were written following years of co-ordination and follow a thematic point of view.
-
Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures
By Dov M. Gabbay, S. Abramsky, T. S. E. MaibaumThe latest volume in this major reference work covers all major areas of application of logic and theoretical computer science
-
Handbook of Logic in Computer Science: Volume 2. Background
By S. AbramskyThe Handbook of Logic in Computer Science is a multi-volume work covering all major areas of application of logic to theoretical computer science.
-
Handbook of Logic in Computer Science: Volume 1. Background
By Dov M. Gabbay, S. Abramsky, Thomas S. E. MaibaumLogic is now widely recognized to be one of the foundational disciplines of computing, and its applications reach almost every aspect of the subject, from software engineering and hardware to...
-
Handbook of Logic in Computer Science: Volume 4. Semantic Modelling
By Dov M. Gabbay, S. Abramsky, T. S. E. MaibaumThis handbook covers fundamental topics of semantic modelling in logic and computation. The chapters (some monographic in length), were written following years of coordination and follow a thematic point of view.