Proofs and Types
(Cambridge Tracts in Theoretical Computer Science)
By Paul Taylor, Jean-Yves Girard, Yves Lafont
(2)
Like Proofs and Types?
Join aNobii to see if your friends read it, and discover similar books!
0 Review No reviews for this book yet
Book Details
-
Rating:
(2)
-
5 stars
-
4 stars
-
3 stars
-
2 stars
-
1 star
-
5 stars
- English Books
- Hardcover 192 Pages
- ISBN-10: 0521371813
- ISBN-13: 9780521371810
- Publisher: Cambridge University Press
- Pub date: Apr 28, 1989
- Dimensions: 1613 mm x 1161 mm x 65 mm Just how big is that?
Prices Change currency & sellers
| ISBN | Edition | List | Sale | Seller |
|---|---|---|---|---|
| 9780521371810 | Hardcover | $49.95 | -- | The Book Depository |
timrau 