Isbn: 9780521346320 - logic and computation: interactive proof with cambridge lcf (cambridge tracts in theoretical computer science, band 2) (5 Ergebnisse)

Hardcover. Zustand: Good+. Zustand des Schutzumschlags: No Dust Jacket As Issued. First Edition; First Printing. EX-UNCAR LIBRARY COPY, removed from circulation, showing the usual treatments. First Edition (1987). Very Near Fine: shows just a tick of wear to the extremities (appears unopened and unread) ; else flawless; the binding is square and secure; the text is clean. Free of creased or dog-eared pages in the text. Free of underlining, hi-lighting, notations, or marginalia. A handsome, nearly-new copy, structurally sound and tightly bound, showing minor, unobtrusive imperfections despite its former library status. Bright and clean. Corners sharp. NOT a Remainder or Book-Club. Large 8vo (9.85 x 7 x 0.85 inches). Language: English. Weight: 30 ounces. Duotone shaded blue laminate boards with white titles at the front panel and back-strip. First printing presumed; no subsequent printings listed, as would have been Cambridge University Press' customary practice at the time of publication. Hardcover: Laminate Boards. ; Cambridge Tracts in Theoretical Computer Science; Vol. 2; Large 8vo 9" - 10" tall; xiii, 302 pages.…

Zustand: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…

Zustand: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. Clean from markings. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,900grams, ISBN:9780521346320.…

Zustand: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,900grams, ISBN:9780521346320.…

Zustand: Very Good. Supporting Bay Area Friends of the Library since 2010. Well packaged and promptly shipped.