Advances in Proof Theory - Progress in Computer Science and Applied Logic - - Libros - Birkhauser Verlag AG - 9783319291963 - 12 de mayo de 2016
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
$ 107,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 16 - 29 de jun.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

También disponible como:

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

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 12 de mayo de 2016
ISBN13 9783319291963
Editores Birkhauser Verlag AG
Páginas 425
Dimensiones 155 × 235 × 25 mm   ·   789 g
Lengua Alemán  
Editor Kahle, Reinhard
Editor Strahm, Thomas
Editor Studer, Thomas