Sy D. Friedman, β-recursion theory. Transactions of the American Mathematical Society, vol. 255 (1979), pp. 173–200. - Sy D. Friedman. Post's problem without admissibility. Advances in mathematics, vol. 35 (1980), pp. 30–49.

1981 ◽  
Vol 46 (3) ◽  
pp. 664-665
Author(s):  
Steven Homer
2021 ◽  
Vol 126 (5) ◽  
pp. 3853-3870
Author(s):  
Lawrence Smolinsky ◽  
Daniel S. Sage ◽  
Aaron J. Lercher ◽  
Aaron Cao

Science ◽  
1922 ◽  
Vol 55 (1431) ◽  
pp. 600-602
Author(s):  
R. G. D. Richardson

Sign in / Sign up

Export Citation Format

Share Document