Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row computer science and technology series)

Gallier, Jean

ISBN 10: 0060422254 ISBN 13: 9780060422257
Published by Harper & Row, 1986
Language: English
Condition: Used - Good Hardcover

Sold by Fireside Bookshop, Stroud, GLOS, United Kingdom

Association Member:

Heritage Bookseller
AbeBooks Seller since 22 September 2000

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

View this seller's items


Used - Hardcover

Condition: Used - Good

Price:
£ 20
£ 25 shipping
Ships from United Kingdom to U.S.A.

Quantity: 1 available

Add to basket