Bøger af Marcelo Coniglio - bogreolen.dk

Markedets billigste bøger

Gratis fragt fra 599,- kr

Levering: 1 - 2 hverdage

Populære

Analysis and Synthesis of Logics

af Dov M. Gabbay, Walter Carnielli, Marcelo Coniglio, mfl.

1.744,95 kr.
- Bog
- 1.744,95 kr.
Se mere
Analysis and Synthesis of Logics

- How to Cut and Paste Reasoning Systems

af Dov M. Gabbay, Walter Carnielli, Marcelo Coniglio, mfl.

1.825,95 kr.

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.
- Bog
- 1.825,95 kr.
Se mere