Rudimentary predicates and Turing calculations (1970)

by Valery A Nepomnjaˇsčiĭ
Venue:Soviet Mathematics-Doklady