Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures by Dov M. Gabbay, Hardcover, 9780198537816 | Buy online at The Nile
Departments
 Free Returns*

Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures

Logic & Algebraic Models

Author: Dov M. Gabbay, S. Abramsky and T.S.E. Maibaum   Series: Handbook of Logic in Computer Science

Hardcover

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

Read more
Just a few left, order soon
New
$991.79
Or pay later with
Just a few left, order soon
Check delivery options
Hardcover

PRODUCT INFORMATION

Summary

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

Read more

Description

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

Read more

Critic Reviews

“"Oxford University Press publishes a wonderful series of books entitledHandbook of Logic in Computer Science. ... Volume 5:Logic and Algebraic Methods, has I think the best discussion of abstract data types that I have read."--he Bulletin of Mathematics Books”

"Oxford University Press publishes a wonderful series of books entitled Handbook of Logic in Computer Science. ... Volume 5: Logic and Algebraic Methods, has I think the best discussion of abstract data types that I have read."--he Bulletin of Mathematics Books

Read more

About the Author

S Abramsky, Department of Computing, Imperial College of Science, Technology and Medicine, London Dov Gabbay, Department of Computer Science, King's College, London T S E Maibaum, Department of Computing, Imperial College of Science, Technology and Medicine, London

Read more

More on this Book

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

Read more

Product Details

Publisher
Oxford University Press
Published
25th January 2001
Pages
556
ISBN
9780198537816

Returns

This item is eligible for free returns within 30 days of delivery. See our returns policy for further details.

New
$991.79
Or pay later with
Just a few left, order soon
Check delivery options