Descrizione
Metodi Tableaux per la logica classica e modale. Introduzione allo studio dei metodi di dimostrazione naturale della logica classica e modale.
Dettagli Bibliografici
EAN ISBN-13:9788880912873
ISBN-10:8880912879
Titolo:Metodi Tableaux per la logica classica e modale
Autore: Alberto Artosi
Editore:CLUEB
Data Pubblicazione:1995
Collana:Miscellanea del Cirfid
Pagine:170
Genere:logica
Classificazione:Filosofia: logica
Argomento :Logica
