Skip to content

Proofs and Types
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
Back to Top

More Copies for Sale

Proofs and Types (Cambridge Tracts in Theoretical Computer Science)
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$304.51
A$6.15 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
A$304.51
A$6.15 shipping to USA
Proofs and Types (Cambridge Tracts in Theoretical Computer Science)
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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
A$346.83
A$6.15 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
A$346.83
A$6.15 shipping to USA