Conte aos seus amigos sobre este item:
Advances in Proof Theory - Progress in Computer Science and Applied Logic Reinhard Kahle Softcover reprint of the original 1st ed. 2016 edition
Preço
R$ 536,90
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 11 - 17 de nov
Presentes de Natal podem ser trocados até 31 de janeiro
Receba avisos sobre novos lançamentos de Reinhard Kahle
Adicione à sua lista de desejos do iMusic
Advances in Proof Theory - Progress in Computer Science and Applied Logic
Reinhard Kahle
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 Illustrations, black and white; XII, 425 p. 10 illus.
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 27 de maio de 2018 |
| ISBN13 | 9783319805139 |
| Editoras | Birkhauser Verlag AG |
| Páginas | 425 |
| Dimensões | 150 × 220 × 10 mm · 663 g |
| Idioma | Alemão |
| Editor | Kahle, Reinhard |
| Editor | Strahm, Thomas |
| Editor | Studer, Thomas |