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 334
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Mar 18 - 30

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 )