Labelled Deduction - Applied Logic Series - David Basin - Libros - Springer - 9789401057813 - 8 de octubre de 2012
En caso de que portada y título no coincidan, el título será el correcto

Labelled Deduction - Applied Logic Series Softcover reprint of the original 1st ed. 2000 edition

Precio
€ 95,99

Pedido desde almacén remoto

Entrega prevista 11 - 19 de jun.
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, black & white illustrations, bibliography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 8 de octubre de 2012
ISBN13 9789401057813
Editores Springer
Páginas 267
Dimensiones 155 × 235 × 15 mm   ·   399 g
Editor Basin, David
Editor D'Agostino, M.
Editor Gabbay, Dov M.
Editor Matthews, Sean
Editor Vigano, Luca

Mas por David Basin

Mostrar todo

Mere med samme udgiver