Implementing Mathematics with the Nuprl Proof Development System - R L Constable - Books - Createspace - 9781468059106 - January 23, 2012
In case cover and title do not match, the title is correct

R L Constable
Implementing Mathematics with the Nuprl Proof Development System

Price
R 332
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping May 29 - Jun 10

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list
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 )