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 Longman Higher Education, 1986
Language: English
Condition: Used - Fine Hardcover

Sold by The Media Foundation, BEAVERTON, OR, U.S.A.

AbeBooks Seller since 22 May 2020

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

View this seller's items


Used - Hardcover

Condition: Used - Fine

Price:
£ 71.55
£ 3.35 shipping
Ships within U.S.A.

Quantity: 1 available

Add to basket