Вид документа : Шифр издания : 22.12/И 26 Автор(ы) : Игошин В.И. Заглавие : Математическая логика и теория алгоритмов : учебное пособие для вузов . -3-е изд., стер. Выходные данные : М.: Академия, 2008 Колич.характеристики :448 с. ISBN, Цена 9785765207: 3100.00, 3100.00, р. ББК : 22.12 Предметные рубрики: Математика-- математическая логика Ключевые слова (''Своб.индексиров.''): математика--учебное пособие--математическая--логика--алгоритм--булевы функции--аргумент--исчисление--аксиома--логика предикатов--программирование--программа Экземпляры : всего : чзт(4) Свободны : чзт(4)