The complexity of the enumeration and solvability of predicates, Dokl (0)

by M I Kanovič
Venue:Akad. Nauk SSSR 190 (1970), 23–26 (Russian). MR 0262084 (41 #6694