Handbook of logic in computer science

Bok av S Abramsky
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.