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 LEADER 01361nam a2200277 i 4500 001 000000178817 003 CaOOAMICUS 005 20200507154017.0 008 090414s1966 xxu u000 u lat u 013 $a156392 040 $aSeMil$bita 245 10$a3 /$cnow first edited from the manuscripts with critical and historical notes by Rudolf Buddensieg. 260 $aFrankfurt am Main :$bMinerva,$c1966. 260 $aNew York ; London :$bJohnson reprint corporation,$c1966. 300 $a377 p. ;$c23 cm. 500 $aRipr. facs. dell'ed.: London : Trübner, 1907. 650 4$aWyclif, John <1330-1384> - Opere.$0(OLS)http://semarc/subject/3297 700 1 $aWyclif, John,$d.$0(OLS)http://semarc/name/9423 700 1 $aBuddensieg, Rudolf,$d<1844-1908>.$0(OLS)http://semarc/name/9424 773 0 $tJohn Wyclif's De veritate Sacrae Scripturae.$dNew York ; London : Johnson reprint corporation ; Frankfurt am Main : Minerva, 1966.$b1. repr.$w()21090 850 $aSeMil 852 $aSeMil$W1$xVenegono$y1$m2Q II 229$j129587$B129587$CSeMilBibl$Z2$F141102 $81 996 $6245$a3$9(OLS)http://semarc/title/47130 996 $6260$aNew York ; London :$bJohnson reprint corporation$9(OLS)http://semarc/publisher/35450 996 $6260$aFrankfurt am Main :$bMinerva$9(OLS)http://semarc/publisher/35451