Analysis and synthesis of logics how to cut and paste reasoning systems
Marcelo Coniglio; Dov M Gabbay; Paula Gouveia; Cristina Sernadas; Walter A Carnielli (Walter Alexandre)
Dordrecht Springer c2008
Localização:
FFLCH - Fac. Fil. Let. e Ciências Humanas
(511.3 A532 ) e outros locais(Acessar)