Rudimentary predicates and Turing calculations (1970)

by Valery A Nepomnjaščĭı
Venue:Soviet Mathematics-Doklady