Conte aos seus amigos sobre este item:
Implementing Mathematics with the Nuprl Proof Development System R L Constable
Implementing Mathematics with the Nuprl Proof Development System
R L Constable
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 23 de janeiro de 2012 |
| ISBN13 | 9781468059106 |
| Editoras | Createspace |
| Páginas | 310 |
| Dimensões | 152 × 229 × 17 mm · 417 g |
Ver tudo de R L Constable ( por exemplo Paperback Book )