%0 Journal Article %1 journals/synthese/Rathjen06 %A Rathjen, Michael %D 2006 %J Synthese %K dblp %N 3 %P 719-743 %T Theories and Ordinals in Proof Theory. %U http://dblp.uni-trier.de/db/journals/synthese/synthese148.html#Rathjen06 %V 148

@article{journals/synthese/Rathjen06, added-at = {2011-06-06T00:00:00.000+0200}, author = {Rathjen, Michael}, biburl = {https://www.bibsonomy.org/bibtex/277c086e423d4cfb081235e8e6f59316c/dblp}, ee = {http://dx.doi.org/10.1007/s11229-004-6297-0}, interhash = {e5e9897d9a91901f119abb0a210cd3c1}, intrahash = {77c086e423d4cfb081235e8e6f59316c}, journal = {Synthese}, keywords = {dblp}, number = 3, pages = {719-743}, timestamp = {2011-06-07T11:35:50.000+0200}, title = {Theories and Ordinals in Proof Theory.}, url = {http://dblp.uni-trier.de/db/journals/synthese/synthese148.html#Rathjen06}, volume = 148, year = 2006 }