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

Precio
€ 95,99

Pedido desde almacén remoto

Entrega prevista 6 - 14 de ene. de 2026
Los regalos de Navidad se podrán canjear hasta el 31 de enero
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 Illustrations, black and white; XII, 425 p. 10 illus.

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 27 de mayo de 2018
ISBN13 9783319805139
Editores Birkhauser Verlag AG
Páginas 425
Dimensiones 150 × 220 × 10 mm   ·   663 g
Lengua Alemán  
Editor Kahle, Reinhard
Editor Strahm, Thomas
Editor Studer, Thomas