
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 )