Degrees of recursive unsolvability: preliminary report (1948)

by E L Post
Venue:abstract). Bull. Amer. Math. Soc