01105nam a2200313 i 450099100126914970753620020507190336.0930929s1977 de ||| | eng 3540079114b10824054-39ule_instLE01309643ExLDip.to Matematicaeng511.3AMS 03FSchutte, Kurt346092Proof theory /Kurt Schutte ; transl. by J. N. Crossley1st ed. 1960Berlin :Springer-Verlag,1977xii, 302 p. ;24 cm.Grundlehren der mathematischen Wissenschaften = A series of comprehensive studies in mathematics,0072-7830 ;225Transl. from germanProof theoryCrossley, John N..b1082405423-02-1728-06-02991001269149707536LE013 03F SCH11 (1977)12013000075006le013-E0.00-l- 00000.i1093171528-06-02Beweistheorie34430UNISALENTOle01301-01-93ma -engde 0100897nam a2200241 i 4500991002752179707536070809s2006 it b 001 0 ita d8846714709b13574942-39ule_instDip.to Filologia Class. e Scienze FilosoficheitaDi Donato, Riccardo-143303Aristeuein :premesse antropologiche ad Omero /Riccardo Di DonatoPisa :ETS,2006147 p. ;23 cmAnthropoi ;4Bibliografia: p. [121]-137. IndiciOmero.b1357494202-04-0809-08-07991002752179707536LE007 880.1 Homerus DID 01.0112007000140024le007LE007 2008 GianninipE12.00-l- 00000.i1470826702-04-08Aristeuein1018285UNISALENTOle00709-08-07ma -itait 00