Ershov, Yu.L. Mathematical logic / Yu.L.Ershov. - Moscow : Min Publication, 1984. - 303p. Standard No.: 6800 [old SOUL v1.0 record id] Subjects--Topical Terms: Mathematics , Algorithms Dewey Class. No.: AKB518.1 / Er81m