Logic and Computation: Interactive Proof With Cambridge LCF

Book 3 of 40: Cambridge Tracts in Theoretical Computer Science

Paulson, L. C.

ISBN 10: 0521346320 ISBN 13: 9780521346320
Published by Cambridge University Press, 1987
Language: English
Condition: Used - Fair Hardcover

Sold by Anybook.com, Lincoln, United Kingdom

Heritage Bookseller
AbeBooks Seller since 22 December 1999

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

View this seller's items


Used - Hardcover

Condition: Used - Fair

Price:
£ 47.95
£ 13.60 shipping
Ships from United Kingdom to U.S.A.

Quantity: 1 available

Add to basket