Вид документа : Однотомное издание Шифр издания : 624843 Автор(ы) : Лихтарников, Леонид Моисеевич, Сукачева, Тамара Геннадьевна Заглавие : Математическая логика : курс лекций : задачник практикум и решения . -3-е изд., испр. Выходные данные : Санкт-Петербург; Москва; Краснодар: Лань, 2008 Колич.характеристики :276, [12] с Серия: Учебники для вузов. Специальная литература Примечания : Библиогр.: с. 273 (12 назв.) ISBN (в пер.), Цена 978-5-8114-0082-9: 304.00 р. УДК : 510.6(075.8+076.5+076.1) Предметные рубрики: математика-- математическая логика Ключевые слова (''Своб.индексиров.''): математическая логика--алгебра логики--исчисления высказываний--логика предикатов--алгоритмы Экземпляры :ОХФ(1) Свободны : ОХФ(1) Доп. точки доступа: Сукачева, Тамара Геннадьевна Сукачёва, Тамара Геннадьевна