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