Walter Carnielli
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems - Applied Logic Series Walter Carnielli 2008 edition

Name: Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems - Applied Logic Series
Price: 184.99 USD
Availability: OutOfStock
Author: Walter Carnielli

Precio

$ 184,99

sin IVA

Pedido desde almacén remoto

Entrega prevista 17 de jun. - 6 de jul.

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

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

Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems - Applied Logic Series

Walter Carnielli

2008 edition

Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics.

618 pages, biography

Medios de comunicación	Libros Hardcover Book (Libro con lomo y cubierta duros)
Publicado	4 de febrero de 2008
ISBN13	9781402067815
Editores	Springer-Verlag New York Inc.
Páginas	602
Dimensiones	156 × 235 × 33 mm · 1,04 kg
Lengua	Inglés