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
A$ 27.99
excl. VAT

Ordered from remote warehouse

Expected delivery Jun 24 - Jul 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 )