Metodi Tableaux per la logica classica e modale

Riferimento: 9788880912873

Editore: CLUEB
Autore: Alberto Artosi
Collana: Miscellanea del Cirfid
In commercio dal: 1995
Pagine: 170 p., Libro
EAN: 9788880912873
13,00 €
Quantità
Non disponibile

Descrizione

Introduzione allo studio dei metodi di dimostrazione naturale della logica classica e modale.