30-Day No-Hassle Returns
We guarantee your satisfaction on every purchase or rental with a full refund within 30 days of your purchase date.
Fast Customer Service
If you need help, our friendly customer service team is here to help!
The Best Prices on Textbook Rentals, Guaranteed
You can shop with confidence with the best rental prices at ValoreBooks.com. If you find a lower priced rental, we will match it.
 
You can save by renting this book!
Lectures on the Curry-Howard Isomorphism
Lectures on the Curry-Howard Isomorphism
Rent It
$163.36
RENT IT
0 items in your cart

Lectures on the Curry-Howard Isomorphism

Author: 


ISBN-13: 

9780444520777


ISBN: 

0444520775


Pub Date: 
Publisher:  Elsevier Science & Technology Books
Summary: The Curry-Howard isomorphism states a correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. This book presents an introduction to parts of proof theory and related aspects of type theory relevant for the Curry-Howard isomorphism.

Urzyczyn, Pawel is the author of Lectures on the Curry-Howard Isomorphism, published 2006 under ISBN 97804...44520777 and 0444520775. One hundred thirty five Lectures on the Curry-Howard Isomorphism textbooks are available for sale on ValoreBooks.com, one used from the cheapest price of $318.82, or buy new starting at $168.37. [read more]

Marketplace Prices
67 New from $168.37 1 Used from $318.82 67 Rental from $163.36
  • Rent $163.36
  • Used $318.82
  • New $168.37
$163.36 $3.95 Shipping
Lectures on the Curry-Howard Isomorphism Rental Terms
Due Date: 05/31/15
How do textbook rentals work?
Item Details
Condition: New Renter: Renter Rating: (12,801) 83%
Recommended Seller
Ships From: Multiple Locations Shipping: Standard, Expedited Comments: RENTAL: Supplemental materials are not guaranteed (access codes, DVDs, workbooks). Fast shipping! All orders include delivery confirmation.
30 Day Money Back Guarantee Learn More
Price + Shipping
Condition
Details
Recommended
$163.36
+ $3.95 shipping
LOW ITEM PRICE
Rental
New
  • Term:
  • Due Date:
    05/31/15
  • Semester rentals extended to May 31st for FREE!

Rental Steps How Does the Rental Process Work?
$303.71
+ $3.95 shipping
Rental
Good
  • Term:
  • Due Date:
    05/31/15
  • Semester rentals extended to May 31st for FREE!

Rental Steps How Does the Rental Process Work?
Rentals
(67 from $163.36)  Supplemental materials are not guaranteed for rentals
$163.36
+ $3.95 shipping
LOW ITEM PRICE
Rental
New
  • Term:
  • Due Date:
    05/31/15
  • Semester rentals extended to May 31st for FREE!

Rental Steps How Does the Rental Process Work?
$303.71
+ $3.95 shipping
Rental
Good
  • Term:
  • Due Date:
    05/31/15
  • Semester rentals extended to May 31st for FREE!

Rental Steps How Does the Rental Process Work?
Product Details
Lectures on the Curry-Howard Isomorphism

ISBN-13: 9780444520777


ISBN: 0444520775


Pub Date:
Publisher: Elsevier Science & Technology Books
www.ValoreBooks.com is a student's number one resource for cheap Lectures on the Curry-Howard Isomorphism rentals, or used and new condition books available to purchase and have shipped quickly.
Where's My Stuff?
Shipping & Returns