TY  - BOOK
AU  - Artosi,Alberto
TI  - Metodi tableaux per la logica classica e modale
T2  - Miscellanea del CIRFID
SN  - 8880912879
PY  - 1995///
CY  - Bologna
PB  - CLUEB
KW  - Logica simbolica
KW  - sbaa
KW  - Logica matematica
KW  - Manuali
N1  - Bibliografia: p. 161-165
ER  -