Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems - Applied Logic Series - Walter Carnielli - Bøger - Springer-Verlag New York Inc. - 9781402067815 - 4. februar 2008
Ved uoverensstemmelse mellem cover og titel gælder titel

Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems - Applied Logic Series 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

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