00933nam0-2200349-i-450-99000884465040332120090422122049.0000884465FED01000884465(Aleph)000884465FED0100088446520090422d2009----km-y0itay50------baengDE--------001yyProof theorythe first step into impredicativityWolfafram PohlersBerlinoSpringerc2009xiii, 370 p.24 cmUniversitext200Teoria della dimostrazioneEliminazione dei tagli511.321itaPohlers,Wolfram56702ITUNINARICAUNIMARCBK990008844650403321C-6-(20023545MA1MA103F0303F05Proof theory81534UNINA00998nam0 22002651i 450 UON0048963020231205105326.53720180629d1962 |0itac50 baengGB|||| |||||Exodusa commentaryMartin NothLondonSCM press LTD1962stampa 1966283 p.23 cmValore stimatoIT-UONSI Fil.GVIII/0401001UON000392762001 Old Testament Library210 London SCM[1950]-. v. ; 22 cmGBLondonUONL003044NOTHMartinUONV009343187145SCM PressUONV271563650ITSOL20241115RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00489630SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI Fil.G VIII 0401 SI FG 1344 5 0401 Valore stimatoExodus1524733UNIOR