Tell your friends about this item:
Implementing Mathematics with the Nuprl Proof Development System R L Constable
Price
HK$ 157
excl. VAT
Ordered from remote warehouse
Expected to be ready for shipping Jul 9 - 21
Our customers say:
Add to your iMusic wish list
Implementing Mathematics with the Nuprl Proof Development System
R L Constable
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | January 23, 2012 |
| ISBN13 | 9781468059106 |
| Publishers | Createspace |
| Pages | 310 |
| Dimensions | 152 × 229 × 17 mm · 417 g |
See all of R L Constable ( e.g. Paperback Book )