%0 Journal Article %1 journals/aml/Kohlenbach96 %A Kohlenbach, Ulrich %D 1996 %J Arch. Math. Log. %K dblp %N 1 %P 31-71 %T Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals. %U http://dblp.uni-trier.de/db/journals/aml/aml36.html#Kohlenbach96 %V 36

@article{journals/aml/Kohlenbach96, added-at = {2008-07-17T00:00:00.000+0200}, author = {Kohlenbach, Ulrich}, biburl = {https://www.bibsonomy.org/bibtex/27ee2644d046011e5f0f43d96bc4e0b1c/dblp}, date = {2008-07-17}, description = {dblp}, ee = {http://dx.doi.org/10.1007/s001530050055}, interhash = {670beced8732df74eed87d7d30d89546}, intrahash = {7ee2644d046011e5f0f43d96bc4e0b1c}, journal = {Arch. Math. Log.}, keywords = {dblp}, number = 1, pages = {31-71}, timestamp = {2008-07-18T11:59:50.000+0200}, title = {Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals.}, url = {http://dblp.uni-trier.de/db/journals/aml/aml36.html#Kohlenbach96}, volume = 36, year = 1996 }