Л13 Лавров, Игорь Андреевич. Математическая логика [Текст] : учебное пособие / И.А. Лавров. - М : Академия, 2006. - 240 с. - ISBN 5-7695-2735-8 : 230 р., 279 р., 181 р. Рубрики: Математика Держатели документа: Национальная библиотека Дагестана ~Экземпляры всего: 3 ЧЗ (3) Свободны: ЧЗ (3) |
Л 13 Лавров, Игорь Андреевич. Задачи по теории множеств, математической логике и теории алгоритмов [Текст] / Игорь Андреевич Лавров, Лариса Львовна Максимова. - 2-е издание. - Москва : Наука, 1984. - 223 с. ; 20 см. - Библиография: с. 214-215 (39 назв.). - 22000 экз.. - 00.90 р.
Рубрики: Множеств теория--Задачи--Решения Математическая логика--Задачи--Решения Алгоритмы--Задачи--Решения Доп.точки доступа: Максимова, Лариса Львовна ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |
С 74 Справочная книга по математической логике [Текст] : в 4-х частях / под редакцией Дж. Барвайса. - Москва : Наука, 1982 - 1983. - 22 см. Ч. 3 : Теория рекурсии / Г. Б. Эндертон, М. Девис, М. О. Рабин ; перевод с английского С. Г. Дворникова, И. А. Лаврова ; под редакцией Ю. Л. Ершова. - 1982. - 360 с. - 20000 экз.. - (в пер.) : 2.00 р. Рубрики: Математическая логика--Справочники Доп.точки доступа: Барвайс, Дж. \ред., авт.\; Эндертон, Герберт Б.; Девис, М.; Рабин, М. О.; Дворников, С. Г. \пер.\; Лавров, Игорь Андреевич \пер.\; Ершов, Юрий Леонидович \ред.\ ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |