TY  - BOOK
AU  - Cagnoni,Donatella
AU  - Gentzen,G.
TI  - Teoria della dimostrazione
T2  - SC/10. Readings
PY  - 1981///
CY  - Milano
PB  - Feltrinelli
KW  - Dimostrazione (Logica)
KW  - sbaa
ER  -