Home
Implementing Mathematics with The Nuprl Proof Development System by R L Constable, Paperback | Indigo Chapters
Loading Inventory...
Coles
Implementing Mathematics with The Nuprl Proof Development System by R L Constable, Paperback | Indigo Chapters
From R L Constable
Current price: $16.95
![Implementing Mathematics with The Nuprl Proof Development System by R L Constable, Paperback | Indigo Chapters](https://dynamic.indigoimages.ca/books/9781468059106.jpg?scaleup=true&width=600&quality=85&lang=en)
![Implementing Mathematics with The Nuprl Proof Development System by R L Constable, Paperback | Indigo Chapters](https://dynamic.indigoimages.ca/books/9781468059106.jpg?scaleup=true&width=600&quality=85&lang=en)
Coles
Implementing Mathematics with The Nuprl Proof Development System by R L Constable, Paperback | Indigo Chapters
From R L Constable
Current price: $16.95
Loading Inventory...
Size: 0.65 x 9.02 x 0.92
*Product information may vary - to confirm product availability, pricing, shipping and return information please contact Coles
Implementing Mathematics with The Nuprl Proof Development System by R L Constable, Paperback | Indigo Chapters