01039nam a22002895i 4500991002232759707536cr nn 008mamaa121227s1989 gw | s |||| 0|eng d9783540468257b14141917-39ule_instBibl. Dip.le Aggr. Matematica e Fisica - Sez. Matematicaeng511.323AMS 03FPohlers, Wolfram56702Proof theory[e-book] :an introduction /by Wolfram PohlersBerlin :Springer,19891 online resource (viii, 220 p.)Lecture Notes in Mathematics,0075-8434 ;1407MathematicsLogic, Symbolic and mathematicalSpringer eBookshttp://dx.doi.org/10.1007/978-3-540-46825-7An electronic book accessible through the World Wide Web.b1414191703-03-2205-09-13991002232759707536Proof theory81534UNISALENTOle01305-09-13m@ -enggw 00