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: $109.40
Used (6) from $109.40
Sales Rank: 2343720
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
Shipping: International shipping available
Condition: 176 pp., hardcover, very good **The price of this item has been temporarily reduced by 10% until Sunday, August 31 as part of our Holiday Sale. Order now for BEST SAVINGS!!**
|
|
|
