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 00