Recomienda este artículo a tus amigos:
Implementing Mathematics with the Nuprl Proof Development System R L Constable
Implementing Mathematics with the Nuprl Proof Development System
R L Constable
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 23 de enero de 2012 |
| ISBN13 | 9781468059106 |
| Editores | Createspace |
| Páginas | 310 |
| Dimensiones | 152 × 229 × 17 mm · 417 g |
Ver todo de R L Constable ( Ej. Paperback Book )