Mosc (3 results)
- Hardcover
Seller: Don Kelly Books, London, United KingdomDon Kelly Books
Contact seller2-star sellerCondition: Used - Very good
US$ 43.64
US$ 18.11 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
HARD BACK. Condition: Very Good. Dust Jacket Condition: Very Good. First. 711pp. Over 1,100 illustrations, over 800 are in colour. Published to accompany a major exhibition. Very heavy item, will attract addditional postage.
Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX *96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings (Lecture Notes in Computer Science)
Miglioli, Pierangelo, Mundici, Daniele, Ornaghi, Mario, Mosc
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
Contact seller4-star sellerCondition: Used - As new
US$ 133.65
US$ 33.10 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Published by Hutchinson
- Softcover
Seller: Stephen White Books, Bradford, United KingdomStephen White Books
Contact seller5-star sellerCondition: Used - Fair
US$ 64.79
US$ 44.02 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Add to basketpaperback. Condition: Acceptable. NOT an ex-library book. Clean copy in good condition. Cover faded. Some marking due to age on pages, but overall book remains in good condition considering age. Quick dispatch from UK seller.
