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

Lectures on the Curry-Howard Isomorphism






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
117 New from $169.87 51 Used from $177.08
Ask this seller a question about this item
Most sellers respond to questions in 48 hours or less. The seller's response will be emailed to you.
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