%0 Journal Article %1 journals/ndjfl/Horowitz82 %A Horowitz, Bruce M. %D 1982 %J Notre Dame Journal of Formal Logic %K dblp %N 1 %P 39-52 %T Elementary formal systems as a framework for relative recursion theory. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl23.html#Horowitz82 %V 23

@article{journals/ndjfl/Horowitz82, added-at = {2014-08-07T00:00:00.000+0200}, author = {Horowitz, Bruce M.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2dd93b7bb1f52b02f3519c9971ace418b/dblp}, ee = {http://dx.doi.org/10.1305/ndjfl/1093883564}, interhash = {4eef09193b393c64c348ff84a057fe4b}, intrahash = {dd93b7bb1f52b02f3519c9971ace418b}, journal = {Notre Dame Journal of Formal Logic}, keywords = {dblp}, number = 1, pages = {39-52}, timestamp = {2016-02-02T02:03:42.000+0100}, title = {Elementary formal systems as a framework for relative recursion theory.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl23.html#Horowitz82}, volume = 23, year = 1982 }