Lavrov,I. A Zadachi po teorii mnozhestv matematicheskoj logike i teorii algoritmov I. A. Lavrov; L. L. Maksimova - Moskva Izdatel'stvo "Nauka" 1975 - 240 p ill 20 cm Cuprinde bibliografie si index Scriere chirilica Dewey Class. No.: 519.95