01182nam a2200277 i 4500000000130851CaOOAMICUS20070123000000.0070123s1981 it u000 u ita u103688SeMilitaGentzen, Gerhard.(OLS)http://semarc/name/54095Teoria della dimostrazione /[scritti di] G. Gentzen ... [et al.] ; a cura di Donatella Cagnoni ; [trad. di Angelo Odone].Milano :Feltrinelli,1981.259 p. :ill. ;21 cm.SC/10. Readings ;22Logica - Filosofia.(OLS)http://semarc/subject/2012Logica matematica.(OLS)http://semarc/subject/3241Odone, Angelo.(OLS)http://semarc/name/54097Cagnoni, Donatella.(OLS)http://semarc/name/54096SC/10. Readings ;22.(OLS)http://semarc/title/13946SeMilSeMil1Venegono12P IV 6518487084870SeMilBibl2121157 1Omaggio: Altro245Teoria della dimostrazione(OLS)http://semarc/title/192629260Milano :Feltrinelli(OLS)http://semarc/publisher/3023701227nam a2200217 i 4500000000076641CaOOAMICUS20010816000000.0010816s1939 it u000 u ita u47813SeMilitaBertolone, Mario,<1911-1965>.(OLS)http://semarc/name/2167Repertorio dei ritrovamenti e scavi di antichità romane avvenuti in Lombardia :Parte 1. : Alto Milanese, Regione Varesina, Comasco, Canton Ticino, Chiavennasco, Valtellina e parte dei Grigioni /Mario Bertolone.389 p., [4] c. di tav. ripieg. :ill.Italia Romana ;.Lombardia - Archeologia.(OLS)http://semarc/subject/959Istituto di studi romani : sezione lombardaLombardia Romana.Milano : Ceschina, 1938.2()6470Italia Romana ;.(OLS)http://semarc/title/8607SeMilSeMil1Venegono13S IV 794279342793SeMilBibl243481 1245Repertorio dei ritrovamenti e scavi di antichità romane avvenuti in Lombardia :Parte 1. : Alto Milanese, Regione Varesina, Comasco, Canton Ticino, Chiavennasco, Valtellina e parte dei Grigioni(OLS)http://semarc/title/124277