Methods of Cut-Elimination - Trends in Logic - Matthias Baaz - Libros - Springer - 9789400703193 - 17 de enero de 2011
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
$ 122,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 19 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:

Instead of just proving the existence of cut-free proofs, it focuses on the algorithmic methods transforming proofs with arbitrary cuts to proofs with only atomic cuts (atomic cut normal forms, so-called ACNFs).

296 pages, biography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 17 de enero de 2011
ISBN13 9789400703193
Editores Springer
Páginas 290
Dimensiones 159 × 239 × 24 mm   ·   589 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 )