Description:
Cambridge: Cambridge University Press, 1989. Hardcover. ex library-very good. Cambridge Tracts in Theoretical Computer Science 7. xi, 176 p. 26 cm. Ex library with labels on spine and rear pastedown, ink stamps on top edge and title.
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
Proofs and Types
by GIRARD, Jean-Yves; LAFONT, Yves; TAYLOR, Paul
- Used
- Hardcover
- Condition
- Used - ex library-very good
- Binding
- Hardcover
- ISBN 10 / ISBN 13
- 9780521371810 / 0521371813
- Quantity Available
- 1
- Seller
-
London, Ontario, Canada
- Item Price
-
$75.00$8.25 shipping to USA
Show Details
Item Price
$75.00
$8.25
shipping to USA
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
-
$197.50$3.99 shipping to USA
Show Details
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.
Item Price
$197.50
$3.99
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
-
$224.95$3.99 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
$224.95
$3.99
shipping to USA