LIBROS DEL AUTOR: francesca poggiolesi

1 resultados para LIBROS DEL AUTOR: francesca poggiolesi

francesca poggiolesi Eliminar filtro Quitar filtros
  • Gentzen Calculi for Modal Propositional Logic
    Francesca Poggiolesi
    The book is about Gentzen calculi for (the main systems of) modal logic. It is divided into three parts. In the first part we introduce and discuss the main philosophical ideas related to proof theory, and we try to identify criteria for distinguishing good sequent calculi. In the second part we present the several attempts made from the 50’s until today to provide modal logic...
    Disponible

    195,66 €