|
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: $104.46
Used (2) from $104.46
Sales Rank: 2255263
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
|
| 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.
|
|
|
Copyright 2008 - RailroadBookstore.com
| |
