Fortæl dine venner om denne vare:
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems - Applied Logic Series Walter Carnielli 2008 edition
Pris
¥ 36.368,75
Bestilles fra fjernlager
Forventes klar til forsendelse 11. - 18. dec.
Julegaver kan byttes frem til 31. januar
Tilføj til din iMusic ønskeseddel
eller
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems - Applied Logic Series
Walter Carnielli
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
| Medie | Bøger Hardcover bog (Bog med hård ryg og stift omslag) |
| Udgivet | 4. februar 2008 |
| ISBN13 | 9781402067815 |
| Forlag | Springer-Verlag New York Inc. |
| Antal sider | 602 |
| Mål | 156 × 235 × 33 mm · 1,04 kg |
| Sprog | Engelsk |
Vis alle
Mere med Walter Carnielli
Se alt med Walter Carnielli ( f.eks. Paperback Bog og Hardcover bog )