Gentzen's Centenary: The Quest for Consistency - - Livros - Springer International Publishing AG - 9783319101026 - 9 de novembro de 2015
Caso a capa e o título não sejam correspondentes, considere o título como correto

Gentzen's Centenary: The Quest for Consistency 1st ed. 2015 edition

Preço
R$ 893,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 6 - 12 de out

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

This work comprises articles by leading proof theorists, attesting to Gentzen's enduring legacy to mathematical logic and beyond. The contributions range from philosophical reflections and re-evaluations of Gentzen's original consistency proofs to the most recent developments in proof theory. Gentzen founded modern proof theory.

484 pages, 23 colour illustrations, biography

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 9 de novembro de 2015
ISBN13 9783319101026
Editoras Springer International Publishing AG
Páginas 561
Dimensões 155 × 235 × 29 mm   ·   789 g
Idioma Alemão  
Editor Kahle, Reinhard
Editor Rathjen, Michael

Mais da mesma editora