@article{1183735827, author = {Owings, James C.}, title = {Recursion, Metarecursion, and Inclusion}, journal = {J. Symbolic Logic}, volume = {32}, number = {1}, year = {1967}, pages = { 173-179}, language = {en}, url = {http://dml.mathdoc.fr/item/1183735827} }
Owings, James C. Recursion, Metarecursion, and Inclusion. J. Symbolic Logic, Tome 32 (1967) no. 1, pp. 173-179. http://gdmltest.u-ga.fr/item/1183735827/