00885nmm a2200253 i 4500991000526769707536cr nn 008mamaa080930s2009 de j eng d9783540693192b13870579-39ule_instDip.to MatematicaengPohlers, Wolfram56702Proof theory[e-book] :the first step into impredicativity /by Wolfram PohlersBerlin :Springer,2009v.: digitalUniversitextLogic, Symbolic and mathematicalSpringer eBookshttp://dx.doi.org/10.1007/978-3-540-69319-2An electronic book accessible through the World Wide Web.b1387057903-03-2214-01-10991000526769707536Proof theory81534UNISALENTOle01314-01-10m@ -engde 0001152nam a22003251i 450099100105693970753620040214150433.0040318s1985 it |||||||||||||||||ita 884202614Xb12711548-39ule_instARCHE-069580ExLDip.to FilosofiaitaA.t.i. Arché s.c.r.l. Pandora Sicilia s.r.l.200.9Caquot, Andre384810Storia dell'ebraismo /A. Caquot, E. Gugenheim, L. Sestieri ; a cura di Henri-Charles PuechRoma ;Bari :Laterza,1985289 p. ;21 cmStoria e società Trad. di Maria Novella PieriniGiudaismoStoriaSestieri, LeaGugenheim, ErnestPuech, Henri CharlesHistoire des religions.b1271154802-04-1431-03-04991001056939707536LE005 MF 9 D 412005000256837le005-E0.00-l- 01010.i1323491231-03-04Storia dell'ebraismo270248UNISALENTOle00531-03-04ma -itait 01