Add this copy of Proofs and Types (Cambridge Tracts in Theoretical to cart. $224.95, good condition, Sold by Salish Sea Books rated 4.0 out of 5 stars, ships from Bellingham, WA, UNITED STATES, published 1989 by Cambridge University Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good+; Hardcover; Covers are still glossy with a few light scratches; Foxing to the top textblock, otherwise unblemished textblock edges; Few small spot-marks to the endpapers, otherwise the endpapers and all text pages are clean and unmarked; The binding is excellent with a straight spine; This book will be shipped in a sturdy cardboard box with foam padding; Medium-Large Format (Quatro, 9.75"-10.75" tall); 1.1 lbs; Teal covers with title in white lettering; 1989, Cambridge University Press; 192 pages; "Proofs and Types (Cambridge Tracts in Theoretical Computer Science), " by Jean-Yves Girard.
