Conte aos seus amigos sobre este item:
Advances in Proof Theory - Progress in Computer Science and Applied Logic 1st ed. 2016 edition
Preço
HK$ 1.011,24
Item sob encomenda (no estoque do fornecedor)
Data prevista de entrega 3 - 12 de jun
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Advances in Proof Theory - Progress in Computer Science and Applied Logic 1st ed. 2016 edition
The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas.
425 pages, 10 black & white illustrations, biography
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 12 de maio de 2016 |
| ISBN13 | 9783319291963 |
| Editoras | Birkhauser Verlag AG |
| Páginas | 425 |
| Dimensões | 155 × 235 × 25 mm · 789 g |
| Idioma | German |
| Editor | Kahle, Reinhard |
| Editor | Strahm, Thomas |
| Editor | Studer, Thomas |