Title: Ot algoritmoy - k suzhdeniiam
First published: 1973
Subjects: Model theory, Algorithms, Constructive mathematics
LC classification: QA9.58 S5