Галиев, Шамиль Ибрагимович.
Задачи по математической логике. Алгебра высказываний. Логика предикатов. теория алгоритмов [Текст] / Галиев Шамиль Ибрагимович ; Казан. авиац. ин-т им. А. Н. Туполева, Каф. кибернетики. - Казань : [б. и.], 1974. - 79 с.

Автор: Галиев Шамиль Ибрагимович

Основное заглавие: Задачи по математической логике. Алгебра высказываний. Логика предикатов. теория алгоритмов

Ответственность: Казан. авиац. ин-т им. А. Н. Туполева, Каф. кибернетики

Физический носитель: Текст

Год публикации: 1974

Место издания: Казань

Издательство: [б. и.]

Объем: 79 с.

Ключевые слова: Задачи; Логика; Математическая логика; Предикативы; Алгоритмы; Алгебра

ББК: 22.122я7