Descrizione
Questo libro trae origine, in parte, dalle lezioni tenute negli aa.aa. 1991/92, 1992/93 e 1993/94 per il corso di Logica dei Sistemi Normativi e, in parte, dal lavoro di ricerca condotto negli stessi anni (e tuttora in progress) sulle tecniche, di deduzione automatica nelle logiche non-classiche. Il materiale che esso raccoglie e organizza, è dunque servito a chiarire, in primo luogo, a me stesso e, in secondo luogo, agli studenti, la direzione e i possibili sviluppi della ricerca… (dalla Prefazione dell’Autore)
Recensioni
Ancora non ci sono recensioni.