Cambridge University Press 1989 Hardcover 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.

ISBN10: 0521371813, ISBN13: 9780521371810, [publisher: Cambridge University Press] Hardcover New. Fast Shipping and good customer service
[Fayetteville, TX, U.S.A.] [Publication Year: 1989]