Skip to content

Handbook of Logic in Computer Science: Volume 2: Background: Computational
Stock Photo: Cover May Be Different

Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures Hardcover - 1993

by S. Abramsky (Editor); Dov M. Gabbay (Editor); T. S. Maibaum (Editor)


From the publisher

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 rear 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.

Details

  • Title Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures
  • Author S. Abramsky (Editor); Dov M. Gabbay (Editor); T. S. Maibaum (Editor)
  • Binding Hardcover
  • Edition First Edition
  • Pages 584
  • Volumes 1
  • Language ENG
  • Publisher Clarendon Press, Oxford, United Kingdom
  • Date 1993-03-18
  • ISBN 9780198537618 / 0198537611
  • Weight 2.36 lbs (1.07 kg)
  • Dimensions 9.49 x 6.44 x 1.5 in (24.10 x 16.36 x 3.81 cm)
  • Library of Congress Catalog Number 92-510
  • Dewey Decimal Code 004
Back to Top

More Copies for Sale

Handbook of Logic in Computer Science. Volume 2: Background: Computational Structures
Stock Photo: Cover May Be Different

Handbook of Logic in Computer Science. Volume 2: Background: Computational Structures

by S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum, editors

  • Used
  • Hardcover
  • first
Condition
Used
Binding
Hardcover
ISBN 10 / ISBN 13
9780198537618 / 0198537611
Quantity Available
1
Seller
Cleveland, Ohio, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$113.76
A$6.97 shipping to USA

Show Details

Description:
Oxford: Clarendon Press, 1992. *Price HAS BEEN REDUCED by 10% until Monday, April 29 (sale item)* First edition, first printing, 571 pp., hardcover, ex library, else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Item Price
A$113.76
A$6.97 shipping to USA
Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures
Stock Photo: Cover May Be Different

Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures

by Abramsky, S. [Editor]; Gabbay, Dov M. [Editor]; Maibaum, T. S. E. [Editor];

  • New
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9780198537618 / 0198537611
Quantity Available
1
Seller
San Diego, California, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$378.95
A$8.44 shipping to USA

Show Details

Description:
Clarendon Press, 1993-03-18. Hardcover. New. New. In shrink wrap. Looks like an interesting title!
Item Price
A$378.95
A$8.44 shipping to USA
Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures

Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures

by Thomas S. E. Maibaum

  • New
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9780198537618 / 0198537611
Quantity Available
614
Seller
Uxbridge, Greater London, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$845.56
A$15.49 shipping to USA

Show Details

Description:
Hard Cover. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures.
Item Price
A$845.56
A$15.49 shipping to USA
Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures
Stock Photo: Cover May Be Different

Handbook of Logic in Computer Science: Volume 2: Background: Computational Structures

by Abramsky, S. [Editor]; Gabbay, Dov M. [Editor]; Maibaum, T. S. E. [Editor];

  • New
  • Hardcover
Condition
New
Binding
Hardcover
ISBN 10 / ISBN 13
9780198537618 / 0198537611
Quantity Available
5
Seller
campbelltown, Florida, United States
Seller rating:
This seller has earned a 2 of 5 Stars rating from Biblio customers.
Item Price
A$960.63
A$15.49 shipping to USA

Show Details

Description:
Clarendon Press. Hardcover. New. 9x6x1. Brand New Book in Publishers original Sealing
Item Price
A$960.63
A$15.49 shipping to USA