Stock Image

Handbook of Logic in Computer Science: Background Computational Structures

Abramsky, S.;Gabbay, Dov M.

0 ratings by Goodreads
ISBN 10: 0198537611 / ISBN 13: 9780198537618
Published by Oxford University Pr on Demand, Cary, Nort, 1993
Used Condition: Good Hardcover
From Moe's Books (Berkeley, CA, U.S.A.)

AbeBooks Seller Since May 26, 2003 Seller Rating 4-star rating

Quantity Available: 1

Buy Used
Price: US$ 92.80 Convert Currency
Shipping: US$ 3.99 Within U.S.A. Destination, rates & speeds
Add to basket

30 Day Return Policy

About this Item

Spotting to covers.Edges mildly foxed. Spine bumped. Bookseller Inventory # 1067100

Ask Seller a Question

Bibliographic Details

Title: Handbook of Logic in Computer Science: ...

Publisher: Oxford University Pr on Demand, Cary, Nort

Publication Date: 1993

Binding: Hardcover

Book Condition:Good

Dust Jacket Condition: No Jacket

About this title


The Handbook of Logic in Computer Science is a six-volume, internationally authored work which offers a comprehensive treatment of the application of logic to theoretical computer science. Each volume is comprised of an average of five 100-page monographs and presents an in-depth overview of one of the field's major topics. Current volume topics include mathematical and computational structures; forthcoming volumes will cover semantic structures, semantic modelling, theoretical methods in specification and verification, and logical methods in computer science. The result of five years of cooperative effort by some of the field's most eminent scholars, this series will undoubtedly be the standard reference work in logic and theoretical computer science for years to come.

From the Back Cover:

We are happy to present the first volumes of the 'Handbook of Logic in Computer Science.' Logic is now widely recognized to be one of the foundational disciplines of computing and has found applications in virtually all aspects of the subject, from software engineering and hardware to programming language and artificial intelligence. There is a growing need for an in depth survey of the application of logic in computer science and AI. The 'Handbook of Logic in Computer Science' and its companion, the 'Handbook of Logic in Artificial Intelligence and Programming' have been created in response to this need.

"About this title" may belong to another edition of this title.

Store Description

Moe's Books has been selling new, used, and antiquarian books for over fifty years. Our store has four floors, a separate rare book room, and over 300,000 books. We are located in the heart of Berkeley, four blocks from the University of California campus on historic Telegraph Avenue. Please check out website for more information about the store and our event information. We have many of our readings available as free audio downloads. You can also contact us with want lists or questions about our inventory.

Visit Seller's Storefront

Terms of Sale:

Books may be returned only if not as described.

Shipping Terms:

Orders usually ship within 2 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or over-sized, we may contact you to let you know that extra shipping is required. International shipping rates are based on the book being able to be shipped via Global Priority. Over-sized or heavy books to be shipped by air mail will require additional postage. Additional postage is quoted at cost.

List this Seller's Books

Payment Methods
accepted by seller

Visa Mastercard American Express