Vertel uw vrienden over dit artikel:
Implementing Mathematics with the Nuprl Proof Development System R L Constable
Implementing Mathematics with the Nuprl Proof Development System
R L Constable
| Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 23 januari 2012 |
| ISBN13 | 9781468059106 |
| Uitgevers | Createspace |
| Pagina's | 310 |
| Afmetingen | 152 × 229 × 17 mm · 417 g |
Bekijk alles van R L Constable ( bijv. Paperback Book )