Advances in Proof Theory - Progress in Computer Science and Applied Logic -  - Livros - Birkhauser Verlag AG - 9783319291963 - 12 de maio de 2016
Caso a capa e o título não sejam correspondentes, considere o título como correto

Advances in Proof Theory - Progress in Computer Science and Applied Logic 1st ed. 2016 edition

Preço
zł 394,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 9 - 15 de jul
Adicione à sua lista de desejos do iMusic

Também disponível como:

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