Conte aos seus amigos sobre este item:
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems - Applied Logic Series Walter Carnielli 2008 edition
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
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 4 de fevereiro de 2008 |
| ISBN13 | 9781402067815 |
| Editoras | Springer-Verlag New York Inc. |
| Páginas | 602 |
| Dimensões | 156 × 235 × 33 mm · 1,04 kg |
| Idioma | Inglês |
Mais por Walter Carnielli
Ver tudo de Walter Carnielli ( por exemplo Paperback Book e Hardcover Book )
Presentes de Natal podem ser trocados até 31 de janeiro