Labelled Non-Classical Logics - Luca Vigano - Libros - Springer - 9780792377498 - 31 de enero de 2000
En caso de que portada y título no coincidan, el título será el correcto

Luca Vigano
Labelled Non-Classical Logics 2000 edition

Precio
$ 158,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 22 de jun. - 3 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:

Labelling was used in many different areas such as resource labelling in relevance logics, prefix tableaux in modal logics, annotated logic programs in logic programming, proof tracing in truth maintenance systems, and various side annotations in higher-order proof theory, arithmetic and analysis.

292 pages, biography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 31 de enero de 2000
ISBN13 9780792377498
Editores Springer
Páginas 292
Dimensiones 156 × 234 × 19 mm   ·   612 g
Lengua Inglés  

Mas por Luca Vigano

Mostrar todo

Mere med samme udgiver

Ver todo de Luca Vigano ( Ej. Hardcover Book y Paperback Book )