Home
Implementing Mathematics with The Nuprl Proof Development System by R L Constable, Paperback | Indigo Chapters
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, and additional information please contact Coles
Implementing Mathematics with The Nuprl Proof Development System by R L Constable, Paperback | Indigo Chapters