22.12 И26 Игошин, Владимир Иванович. Задачи и упражнения по математической логике и теории алгоритмов [Текст] : учеб. пособие: рек. Мин. обр. РФ / В. И. Игошин. - М. : Академия, 2005. - 304 с. - (Высшее проф. образование. Педагогические специальности). - Библиогр.: с. 301 . - ISBN 5-7695-1364-0 (в пер.) : 237.93 р. Рубрики: Математическая логика Кл.слова (ненормированные): алгебра высказываний -- булевы функции -- формализованное исчисление высказываний -- логика предикатов -- теория алгоритмов Экземпляры всего: 7 аб. (7), ч.з. Свободны: аб. (7) |