LEADER 01182nam a2200277 i 4500
001 000000130851
003 CaOOAMICUS
005 20070123000000.0
008 070123s1981    it           u000 u ita u
013   $a103688
040   $aSeMil$bita
100 1 $aGentzen, Gerhard.$0(OLS)http://semarc/name/54095
245 10$aTeoria della dimostrazione /$c[scritti di] G. Gentzen ... [et al.] ; a cura di Donatella Cagnoni ; [trad. di Angelo Odone].
260   $aMilano :$bFeltrinelli,$c1981.
300   $a259 p. :$bill. ;$c21 cm.
490 0 $aSC/10. Readings ;$v22
650  4$aLogica - Filosofia.$0(OLS)http://semarc/subject/2012
650  4$aLogica matematica.$0(OLS)http://semarc/subject/3241
700 1 $aOdone, Angelo.$0(OLS)http://semarc/name/54097
700 1 $aCagnoni, Donatella.$0(OLS)http://semarc/name/54096
830  0$aSC/10. Readings ;$v22.$0(OLS)http://semarc/title/13946
850   $aSeMil
852   $aSeMil$W1$xVenegono$y1$m2P IV 651$j84870$B84870$CSeMilBibl$Z2$F121157        $81
961   $aOmaggio: Altro
996   $6245$aTeoria della dimostrazione$9(OLS)http://semarc/title/192629
996   $6260$aMilano :$bFeltrinelli$9(OLS)http://semarc/publisher/30237