Description: Proofs and Types by Jean-Yves Girard: Used - Cambridge Tracts in Theoretical CS We try to be as transparent as possible and take as many photos as needed. A few things to note to make this a great buying experience.1. The Photos describe the product and condition. If the description is off, always base your purchase by the photos. Questions: Just DM us.2. Unless the item is sealed, the book should be considered to be in a used state. Yes, its possible there may be a name or mark on the inside. We always flip through books and yes its possible writing may be found.3. All books ship out Media mail.4. Regretfully the post office is outside of our control.Rush? Contact us for Priority Mail.5. *Comics are ungraded. See all photos. Sold as seen Thank you, GoretroGo FamilyWe are a Small Family run Business store based in NJ.
Price: 144.5 USD
Location: Randolph, New Jersey
End Time: 2024-12-18T13:01:25.000Z
Shipping Cost: 5.38 USD
Product Images
Item Specifics
Restocking Fee: No
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 30 Days
Refund will be given as: Money Back
Pages: 192
Book Title: Proofs and Types
Number of Pages: 192 Pages
Language: English
Publication Name: Proofs and Types
Publisher: Cambridge University Press
Subject: Programming Languages / General, Calculus
Publication Year: 1989
Item Height: 0.6 in
Type: Textbook
Item Weight: 17.6 Oz
Author: Paul Taylor, Yves Lafont, Jean-Yves Girard
Subject Area: Mathematics, Computers
Item Length: 10 in
Series: Cambridge Tracts in Theoretical Computer Science Ser.
Item Width: 7.1 in
Format: Hardcover
