Title: Problemy razreshimosti i konstruktivnye modeli
First published: 1980
Subjects: Recursion theory, Constructive mathematics
LC classification: QA9.6 .E77