Labelled Deduction - Applied Logic Series - Luca Vigano - Libros - Springer - 9780792362371 - 30 de abril de 2000
En caso de que portada y título no coincidan, el título será el correcto

Labelled Deduction - Applied Logic Series 2000 edition

Precio
$ 122,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 16 de jun. - 3 de jul.
Añadir a tu lista de deseos de iMusic

Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature.


278 pages, biography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 30 de abril de 2000
ISBN13 9780792362371
Editores Springer
Páginas 267
Dimensiones 170 × 244 × 17 mm   ·   576 g
Lengua Inglés  
Editor Basin, David
Editor D'Agostino, M.
Editor Gabbay, Dov M.
Editor Matthews, Sean
Editor Vigano, Luca

Mas por Luca Vigano

Mostrar todo

Mere med samme udgiver