computable families of constructivizations, Algebra i Logika (1975)

by Sergey S Goncharov, Selfstability