Description: Product Info Title: Type Theory and Formal Proof: An Introduction Author(s): Nederpelt, Rob Publisher: CAMB EAN: 9781107036505 Condition: New: This item is brand new. It should include any associated supplementary materials, and if it has any access codes they are functioning and/or valid. PLEASE NOTE: All of our inventory is priced competitively based on the market, and we unfortunately do not accept offers on any of our listings. We are unable to send any additional pictures of our listings, all available pictures are already shown. If this is an Access Card listing, the physical book is not included. It is JUST the access card alone. Please check the ISBN and make sure you are purchasing what you need. About Us Book Runners was founded in 2017 to distribute books through wholesale and retail channels. Today, we service the largest textbooks buyers in North America, with over 3 million Books sold! We are devoted to customer satisfaction, and to ensure this, all our inventory goes through a thorough inspection process. We are an EPEG certified company, meaning you will never have to deal with fake/counterfeit products when buying from us. Payments For all our wonderful eBay customers, we currently only accept PayPal as a payment method. All items must be paid in full before shipping. Delivery We ship with a variety of methods, including USPS, Fedex, and UPS. Tracking is available for any order placed in our store upon request. Currently, we only ship within the United States. Returns We offer a 14-day return policy, with return shipping paid for by the buyer.
Price: 75.12 USD
Location: Chicago, Illinois
End Time: 2024-12-13T08:52:57.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Return policy details:
ISBN13: 9781107036505
Book Title: Type Theory and Formal Proof: An Introduction
Number of Pages: 466 Pages
Publication Name: Type Theory and Formal Proof : an Introduction
Language: English
Publisher: Cambridge University Press
Subject: Programming Languages / General, Logic
Item Height: 1.1 in
Publication Year: 2014
Item Weight: 34.6 Oz
Type: Textbook
Item Length: 10 in
Subject Area: Mathematics, Computers
Author: Rob Nederpelt, Herman Geuvers
Item Width: 6.8 in
Format: Hardcover
