Methods of Cut-elimination - Trends in Logic - Matthias Baaz - Libros - Springer - 9789400734975 - 25 de febrero de 2013
En caso de que portada y título no coincidan, el título será el correcto

Matthias Baaz
Methods of Cut-elimination - Trends in Logic 2011 edition

Precio
$ 107,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 25 de jun. - 8 de jul.

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:

This book offers a thorough, rigorous analysis of reductive cut-elimination methods and an in-depth presentation of the recent method CERES developed by the authors. It includes several applications of CERES and an extension of CERES to non-classical logics.

296 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 25 de febrero de 2013
ISBN13 9789400734975
Editores Springer
Páginas 296
Dimensiones 156 × 234 × 15 mm   ·   417 g
Lengua Inglés  

Mas por Matthias Baaz

Mostrar todo

Mere med samme udgiver

Ver todo de Matthias Baaz ( Ej. Paperback Book y Hardcover Book )