Description:
Cambridge University Press, 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.
Stock Photo: Cover May Be Different
Proofs and Types Hardcover - 1989
by Jean-Yves Girard; Yves LaFont; Paul Taylor
Details
- Title Proofs and Types
- Author Jean-Yves Girard; Yves LaFont; Paul Taylor
- Binding Hardcover
- Edition Revised Edition
- Pages 192
- Volumes 1
- Language ENG
- Publisher Cambridge University Press, Cambridge
- Date April 28, 1989
- ISBN 9780521371810 / 0521371813
- Weight 1.1 lbs (0.50 kg)
- Dimensions 9.72 x 6.85 x 0.55 in (24.69 x 17.40 x 1.40 cm)
- Library of Congress Catalog Number 89006177
- Dewey Decimal Code 005.131
More Copies for Sale
Stock Photo: Cover May Be Different
Proofs and Types (Cambridge Tracts in Theoretical Computer Science)
by Jean-Yves Girard
- Used
- good
- Hardcover
- first
- Condition
- Used - Good
- Edition
- 1
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780521371810 / 0521371813
- Quantity Available
- 1
- Seller
-
Bellingham, Washington, United States
- Item Price
-
€186.56€3.77 shipping to USA
Show Details
Item Price
€186.56
€3.77
shipping to USA
Stock Photo: Cover May Be Different
Proofs and Types (Cambridge Tracts in Theoretical Computer Science)
- Used
- good
- Hardcover
- first
- Condition
- Used - Good
- Edition
- 1
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780521371810 / 0521371813
- Quantity Available
- 1
- Seller
-
Bellingham, Washington, United States
- Item Price
-
€212.49€3.77 shipping to USA
Show Details
Description:
Cambridge University Press, 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.
Item Price
€212.49
€3.77
shipping to USA