Ot algoritmoy - k suzhdeniiam
Publisher: "Sov. radio"
Published: 1973
Place of publication: Moskva
Language: rus
Number of pages: 287
Subjects: Algorithms; Constructive mathematics; Model theory