LIBROS DEL AUTOR: marcelo coniglio

2 resultados para LIBROS DEL AUTOR: marcelo coniglio

marcelo coniglio Eliminar filtro Quitar filtros
  • Analysis and Synthesis of Logics
    Dov M. Gabbay / Marcelo Coniglio / 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. The theory covers mechanisms for combining semantic structur...
    Disponible

    267,61 €

  • Analysis and Synthesis of Logics
    Dov M. Gabbay / Marcelo Coniglio / 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. The theory covers mechanisms for combining semantic structur...
    Disponible

    204,78 €