A865738-ОХФ-ЧЗ-4, A865947-ОХФ, A865948-ОХФ Лихтарников, Леонид Моисеевич. Математическая логика [Текст] : курс лекций : задачник-практикум и решения : учеб. пособие для вузов по мат. специальностям / Л. М. Лихтарников, Т. Г. Сукачева. - Санкт-Петербург : Лань, 1998. - 285 с. - Библиогр. - ISBN 5-8114-0082-9 (в пер.) : 35.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика Доп. точки доступа: Сукачева, Тамара Геннадьевна Сукачёва, Тамара Геннадьевна Экземпляры всего: 3 ОХФ-ЧЗ-4 (1), ОХФ (2) |
A983714-ОХФ Лихтарников, Леонид Моисеевич. Математическая логика [Текст] : курс лекций : задачник практикум и решения / Л. М. Лихтарников, Т. Г. Сукачева. - 3-е изд., испр. - Санкт-Петербург ; Москва ; Краснодар : Лань, 2008. - 276, [12] с. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 273 (12 назв.). - ISBN 978-5-8114-0082-9 (в пер.) : 304.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгебра логики -- исчисления высказываний -- логика предикатов -- алгоритмы Доп. точки доступа: Сукачева, Тамара Геннадьевна Сукачёва, Тамара Геннадьевна Экземпляры всего: 1 ОХФ (1) |