Markedets billigste bøger
Levering: 1 - 2 hverdage

Analysis and Synthesis of Logics

- How to Cut and Paste Reasoning Systems

Bag om Analysis and Synthesis of Logics

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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9781402067815
  • Indbinding:
  • Hardback
  • Sideantal:
  • 602
  • Udgivet:
  • 4. februar 2008
  • Udgave:
  • 2008
  • Størrelse:
  • 234x156x33 mm.
  • Vægt:
  • 2290 g.
  Gratis fragt
Leveringstid: 8-11 hverdage
Forventet levering: 16. januar 2025
Forlænget returret til d. 31. januar 2025
  •  

    Kan ikke leveres inden jul.
    Køb nu og print et gavebevis

Beskrivelse af Analysis and Synthesis of Logics

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.

Brugerbedømmelser af Analysis and Synthesis of Logics



Find lignende bøger
Bogen Analysis and Synthesis of Logics findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.