Metodi Tableaux per la logica classica e modale

Riferimento: 9788880912873

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

Descrizione

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