Rudimentary predicates and Turing calculations (1970)

by V Nepomnjascii
Venue:Soviet Math. Doklady