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

Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures
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
Free 30 day returns       Secure transaction
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
Free 30 day returns       Secure transaction
Just a few left, order soon
Check delivery options
Browse by category
YOUR PAYMENT IS SECURE

We use 100% PCI DSS compliant payment services. That means your payment information is always protected, and never gets seen by anyone.
30-DAY FREE RETURN POLICY

Return nearly all items within 30 days of delivery. Unused or faulty items are acceptable as free returns. *Exceptions apply, see our returns policy.

The Nile
Follow Us
Help & Support
Contact Us

Copyright © 2025 The Nile Group.

Zip

 AfterPay

PayPal

Credit Card
Buy Baby at The Nile
 
 
 
Buy Toys at The Nile
Buy Books at The Nile
Buy Movies & TV at The Nile
Our Top Brands