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






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 sixty eight Lectures on the Curry-Howard Isomorphism textbooks are available for sale on ValoreBooks.com, fifty one used from the cheapest price of $177.08, or buy new starting at $169.87. [read more]

Marketplace Prices
117 New from $169.87 51 Used from $177.08
  • Used $177.08
  • New $169.87
Price + Shipping
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