517 Л 656 Лихтарников, Леонид Моисеевич. Математическая логика : Курс лекций. Задачник-практикум и решения: Учеб. пособие / Л. М. Лихтарников, Т. Г. Сукачева. - СПб. : Лань, 1999. - 288 с. - (Учебники для вузов). - Библиогр.: с. 282. - ISBN 5-8114-0082-9 : 60.00 р.
Кл.слова (ненормированные): Математическая логика -- Исчисление высказываний -- Логика предикатов -- Алгоритмы -- Практикумы -- Сборники задач Доп.точки доступа: Сукачева, Тамара Геннадьевна Экземпляры всего: 1 Х (1) Свободны: Х (1) |