%0 Journal Article %1 journals/aml/Lopez-Escobar85 %A López-Escobar, E. G. K. %D 1985 %J Arch. Math. Log. %K dblp %N 1 %P 67-74 %T König's lemma, the ω-Rule and primitive recursive arithmetic. %U http://dblp.uni-trier.de/db/journals/aml/aml25.html#Lopez-Escobar85 %V 25

@article{journals/aml/Lopez-Escobar85, added-at = {2016-12-05T00:00:00.000+0100}, author = {López-Escobar, E. G. K.}, biburl = {https://www.bibsonomy.org/bibtex/233644d086383f4023897009c1eb3d040/dblp}, ee = {http://dx.doi.org/10.1007/BF02007557}, interhash = {f849ca6fc304c98e5b1a6b1e440b24c2}, intrahash = {33644d086383f4023897009c1eb3d040}, journal = {Arch. Math. Log.}, keywords = {dblp}, number = 1, pages = {67-74}, timestamp = {2016-12-06T11:34:28.000+0100}, title = {König's lemma, the ω-Rule and primitive recursive arithmetic.}, url = {http://dblp.uni-trier.de/db/journals/aml/aml25.html#Lopez-Escobar85}, volume = 25, year = 1985 }