Advances in Proof Theory - Progress in Computer Science and Applied Logic -  - Livros - Birkhauser Verlag AG - 9783319805139 - 27 de maio de 2018
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 Softcover reprint of the original 1st ed. 2016 edition

Preço
₪ 364
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 11 - 17 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 Softcover reprint of the original 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 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 663 g
Idioma German  
Editor Kahle, Reinhard
Editor Strahm, Thomas
Editor Studer, Thomas