Cambridge University Press 1989 Hardcover Good; Hardcover; Covers are still glossy with a few small handling-marks/scratches; Clean textblock edges; There is light wrinkling and a thin, faint watermark to the bottom edge-margin of the text pagesThe 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 Good; Hardcover; Covers are still glossy with a few small handling-marks/scratches; Clean textblock edges; There is light wrinkling and a thin, faint watermark to the bottom edge-margin of the text pagesThe 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.
[Bellingham, WA, U.S.A.] [Publication Year: 1989]

Cambridge University Press, Date: 1989. 1. Hardcover. Good. 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. 1989. Cambridge University Press ISBN 0521371813 9780521371810 [US]

ISBN10: 0521371813, ISBN13: 9780521371810, [publisher: Cambridge University Press] Hardcover In Used Condition
[Austin, TX, U.S.A.] [Publication Year: 1989]

ISBN10: 0521371813, ISBN13: 9780521371810, [publisher: Cambridge University Press] Hardcover Used
[Long Beach, CA, U.S.A.] [Publication Year: 1989]

ISBN10: 0521371813, ISBN13: 9780521371810, [publisher: Cambridge University Press] Hardcover
[Denver, CO, U.S.A.] [Publication Year: 1989]

ISBN10: 0521371813, ISBN13: 9780521371810, [publisher: Cambridge University Press] Hardcover New
[Long Beach, CA, U.S.A.] [Publication Year: 1989]