|
|

avaa valikko

Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems
Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas
137,30 €
Springer
Sivumäärä: 602 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2010, 22.11.2010 (lisätietoa)
Kieli: Englanti
Tuotesarja: Applied Logic Series 35
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.

LISÄÄ OSTOSKORIIN
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Tilaustuote

Tilaustuote

Tämän tuotteen tilaamme kustantajalta tai tukkurilta varastoomme. Saatavuusarvio on tuotekohtainen. Lähetämme toimitusvahvistuksen heti, kun tuote on toimitettu varastoltamme rahdinkuljettajalle.
Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Analysis and Synthesis of Logics : How to Cut and Paste Reasoning SystemsSuurenna kuva
Näytä kaikki tuotetiedot
ISBN:
9789048177257
Aihealue:
Ulkomaiset kirjat » Mathematics » Logic
Kansikuva tuotteelle