This Handbook is a six-volume work covering all major areas of the application of logic to theoretical computer science. the first two volumes, available now, cover the mathematical background to...
The third volume in this series of Handbooks, covers the key topics of semantics in logic and computation. It is an indispensable source of reference for workers in the field as it contains all the...
Volume four in the series covers the fundamental topics of semantic modelling in logic and computation. All the chapters are written to follow a thematic point of view and come as the result of...
The Handbook of Logic in Artificial Intelligence and Logic Programming is a multi-volume work covering all major areas of the application of logic to artificial intelligence and logic programming. ...