Recursion, Metarecursion, and Inclusion
James C. Owings, Jr.Volume:
32
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2271654
Date:
June, 1967
File:
PDF, 678 KB
english, 1967