TY - BOOK AU - Верещагин, Николай Константинович AU - Шень, Александр TI - Лекции по математической логике и теории алгоритмов SN - 9785443900124 U1 - 510 PY - 2012/// CY - Москва PB - МЦНМО KW - математика KW - теория множеств KW - математическая логика KW - теория алгоритмов KW - учебное пособие для высшей школы ER -