Introduzione allo studio dei metodi di dimostrazione naturale della logica classica e modale.
Metodi Tableaux per la logica classica e modale
Consulta il prodotto
sconto
5%
| Titolo | Metodi Tableaux per la logica classica e modale |
| Autore | Alberto Artosi |
| Collana | Miscellanea del Cirfid |
| Editore | CLUEB |
| Formato |
Libro |
| Pagine | 170 |
| Pubblicazione | 01/1996 |
| ISBN | 9788880912873 |
