5
1
9781107036505
Type Theory and Formal Proof: An Introduction available in Hardcover, eBook
Type Theory and Formal Proof: An Introduction
- ISBN-10:
- 110703650X
- ISBN-13:
- 9781107036505
- Pub. Date:
- 11/06/2014
- Publisher:
- Cambridge University Press
- ISBN-10:
- 110703650X
- ISBN-13:
- 9781107036505
- Pub. Date:
- 11/06/2014
- Publisher:
- Cambridge University Press
Type Theory and Formal Proof: An Introduction
$88.99
Current price is , Original price is $88.99. You
88.99
In Stock
Product Details
ISBN-13: | 9781107036505 |
---|---|
Publisher: | Cambridge University Press |
Publication date: | 11/06/2014 |
Pages: | 466 |
Product dimensions: | 6.81(w) x 10.00(h) x 1.10(d) |
About the Author
From the B&N Reads Blog