Problemy razreshimosti i konstruktivnye modeli
By: I͡U.L. Ershov.
Series: Matematicheskai͡a logika i osnovanii͡a matematiki
Publisher: "Nauka," Glav. red. fiziko-matematicheskoĭ lit-ry
Published: 1980
Place of publication: Moskva
Language: rus
Number of pages: 415
Subjects: Recursion theory.; Constructive mathematics.
Notes: Bibliography: p. 397-[409]
Includes indexes.