Books in the Handbook of Logic in Computer Science series

The latest volume in this major reference work covers all major areas of application of logic and theoretical computer science

The Handbook of Logic in Computer Science is a multi-volume work covering all major areas of application of logic to theoretical computer science.

This, the third volume in the successful series - Handbooks of Logic in Computer Science - covers the fundamental topics of semantics in logic and computation. This volume brings the reader the latest results and up-to-date and in-depth research - it is an indispensable reference source for workers in the field.

This 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. This volume brings the reader up to front line research, and is indispensable to any serious worker in the area.

A multi-volume work covering all major areas of application of logic to theoretical computer science. The authors are chosen on an international basis and are leaders in the fields covered.