Автор: Paula Gouveia

Підтримка

1 Електронні книги від Paula Gouveia

Walter Carnielli & Marcelo Coniglio: 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 fir …
PDF
Англійська
€149.79