22.12 Л65 Лихтарников, Леонид Моисеевич. Математическая логика [Текст] : курс лекций. Задачник-практикум и решения: учеб. пособие / Л. М. Лихтарников, Т. Г. Сукачева. - 4-е изд., стер. - СПб. : Лань, 2009. - 277 с. - Библиогр. : с. 273 . - ISBN 978-5-8114-0082-9 (в пер.) : 304.48 р. Рубрики: Математика Математическая логика Кл.слова (ненормированные): алгебра логики -- исчисление высказываний -- логика предикатов -- математические теории -- алгоритмы Доп.точки доступа: Сукачева, Тамара Геннадьевна Экземпляры всего: 1 ч.з. (1) Свободны: ч.з. (1) |