You can save by renting this book!
Lectures on the Curry-Howard Isomorphism
Lectures on the Curry-Howard Isomorphism
Rent It
$159.59
RENT IT
0 items in your cart

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.
Lectures on the Curry-Howard Isomorphism Own it? Sell it for $23.50

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.

Marketplace Prices
134 New from $165.89 2 Used from $234.23 3 Rental from $159.59
Ask this seller a question about this item
After submitting your question, the seller's response will be emailed to you.
CONTACT SELLER > ">Alibris
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