1. Proofs and Types (Cambridge Tracts in Theoretical Computer Science)
by Girard, Jean-Yves, and Lafont, Yves, and Taylor, Paul 
Price: USD 224.95
Dealer: Alibris, Salish Sea Books via Alibris
Description: 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. 

2. Proofs and Types (Cambridge Tracts in Theoretical Computer Science)
by Jean-Yves Girard 
Price: USD 197.50
Dealer: Abebooks, Salish Sea Books
Description: 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]  

3. Proofs and Types (Cambridge Tracts in Theoretical Computer Science)
by Jean-Yves Girard 
Price: USD 224.95
Dealer: Abebooks, Salish Sea Books
Description: ISBN10: 0521371813, ISBN13: 9780521371810, [publisher: Cambridge University Press] 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. [Bellingham, WA, U.S.A.] [Publication Year: 1989]  

4. Proofs and Types (Cambridge Tracts in Theoretical Computer Science)
by Jean-Yves Girard 
Price: USD 197.50
Dealer: Alibris, Salish Sea Books via Alibris
Description: 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. 

5. Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7)
by Girard, Jean-Yves 
Price: USD 265.33
Dealer: Abebooks, Byrd Books
Description: ISBN10: 0521371813, ISBN13: 9780521371810, [publisher: Cambridge University Press] Hardcover In Used Condition [Austin, TX, U.S.A.] [Publication Year: 1989]  

6. Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7)
by Girard, Jean-Yves 
Price: USD 502.78
Dealer: Abebooks, Front Cover Books
Description: ISBN10: 0521371813, ISBN13: 9780521371810, [publisher: Cambridge University Press] Hardcover [Denver, CO, U.S.A.] [Publication Year: 1989]  

7. Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7)
by Girard, Jean-Yves 
Price: USD 503.84
Dealer: Abebooks, GoldBooks
Description: ISBN10: 0521371813, ISBN13: 9780521371810, [publisher: Cambridge University Press] Hardcover New Copy. Customer Service Guaranteed [Denver, CO, U.S.A.] [Publication Year: 1989]  

8. Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7)
by Girard, Jean-Yves 
Price: USD 506.04
Dealer: Abebooks, Wizard Books
Description: ISBN10: 0521371813, ISBN13: 9780521371810, [publisher: Cambridge University Press] Hardcover New [Long Beach, CA, U.S.A.] [Publication Year: 1989]  

9. Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7)
by Girard, Jean-Yves 
Price: USD 497.06
Dealer: Abebooks, Wizard Books
Description: ISBN10: 0521371813, ISBN13: 9780521371810, [publisher: Cambridge University Press] Hardcover Used [Long Beach, CA, U.S.A.] [Publication Year: 1989]  

10. Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7)
by Girard, Jean-Yves; Lafont, Yves; Taylor, Paul 
Price: USD 265.87
Dealer: Abebooks, Books Unplugged
Description: ISBN10: 0521371813, ISBN13: 9780521371810, [publisher: Cambridge University Press] Hardcover Buy with confidence! Book is in good condition with minor wear to the pages, binding, and minor marks within 1.06 [Amherst, NY, U.S.A.] [Publication Year: 1989]  

11. Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7)
by Girard, Jean-Yves; Lafont, Yves; Taylor, Paul 
Price: USD 502.72
Dealer: Abebooks, GoldenWavesOfBooks
Description: ISBN10: 0521371813, ISBN13: 9780521371810, [publisher: Cambridge University Press] Hardcover New. Fast Shipping and good customer service [Fayetteville, TX, U.S.A.] [Publication Year: 1989]  

12. Proofs and Types Cambridge Tracts in Theoretical Computer Science
by Jean Yves Girard 
Price: USD 197.50
Dealer: Biblio, Salish Sea Books
Description: Cambridge University Press, Date: 1989. 1. Hardcover. Good. 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. 1989. Cambridge University Press ISBN 0521371813 9780521371810 [US] 

13. Proofs and Types Cambridge Tracts in Theoretical Computer Science
Price: USD 224.95
Dealer: Biblio, Salish Sea Books
Description: 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]