| Can I Come Look At These Items? | | This online store is in association with Amazon.com, so these great, high-qualiy products will come from their warehouse or from other partners. Thanks for shopping! |
|
|
|
Proofs and Types (Cambridge Tracts in Theoretical Computer Science) | 
 enlarge | Authors: Jean-yves Girard, Yves Lafont, Paul Taylor
Publisher: Cambridge University Press
Category: Book
Buy Used: $107.74
Used (3) from $107.74
Sales Rank: 2333247
Media: Hardcover
Pages: 192
Shipping Weight (lbs): 1.1
Dimensions (in): 10 x 7.1 x 0.6
ISBN: 0521371813
EAN: 9780521371810
ASIN: 0521371813
Publication Date: April 28, 1989
Availability: Usually ships in 1-2 business days
Shipping: Expedited shipping available
Condition: Clean- Text free of markings or highlighting - Binding is tight - No spine crease - Cover shows light rubbing - Ships same or next day with USPS Delivery Confirmation
|
| Editorial Reviews:
Product Description
This book is derived from notes prepared by J-Y.Girard for a course at the University of Paris VII. It deals with the mathematical background of the application to computer science of aspects of logic. It sheds light on traditional logic material and its prospective application to computer science.
|
|
|
| |
News 
