Handbook of Tableau Methods - M D\'agostino - Libros - Springer - 9789048151844 - 7 de diciembre de 2010
En caso de que portada y título no coincidan, el título será el correcto

M D\'agostino
Handbook of Tableau Methods Softcover reprint of hardcover 1st ed. 1999 edition

Precio
$ 210,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 26 de jun. - 9 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

Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. There are several types of proof theoretical methodologies, Hilbert style, Gentzen style, goal directed style, labelled deductive system style, and so on.

678 pages, 2 black & white illustrations, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 7 de diciembre de 2010
ISBN13 9789048151844
Editores Springer
Páginas 670
Dimensiones 160 × 231 × 36 mm   ·   934 g
Editor D'Agostino, M.
Editor Gabbay, Dov M.
Editor Hahnle, Reiner
Editor Posegga, J.

Mere med samme udgiver

Ver todo de M D\'agostino ( Ej. Paperback Book )