01130nam a22002775i 4500991002193639707536cr nn 008mamaa121227s1981 gw | s |||| 0|eng d9783540386490b14135802-39ule_instBibl. Dip.le Aggr. Matematica e Fisica - Sez. Matematicaeng511.323Buchholz, Wilfried45406Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies[e-book] /by Wilfried Buchholz ... [et al.]Berlin :Springer,19811 online resource (viii, 384 p.)Lecture Notes in Mathematics,0075-8434 ;897MathematicsLogic, Symbolic and mathematicalSpringer eBookshttp://dx.doi.org/10.1007/BFb0091894An electronic book accessible through the World Wide Web.b1413580203-03-2205-09-13991002193639707536Iterated inductive definitions and subsystems of analysis342985UNISALENTOle01305-09-13m@ -enggw 00