by Dov M . Gabbay (Editor), S.Abramsky (Editor), T.S.E.Maibaum (Editor)
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.
Format: Hardcover
Pages: 512
Edition: illustrated edition
Publisher: Clarendon Press
Published: 27 Apr 1995
ISBN 10: 019853762X
ISBN 13: 9780198537625