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

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
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$75.00
$8.25 shipping to USA

Show Details

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.
Item Price
$75.00
$8.25 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)

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
$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
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
$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