TY  - BOOK
AU  - Гиндикин,Семен Григорьевич
TI  - Алгебра логики в задачах
PY  - 1972///
CY  - Москва
PB  - Наука, Главная редакция физико-математической литературы
KW  - алгебра логики
KW  - булевы алгебры
KW  - закон действительности (алгебра)
KW  - Поста теорема
KW  - алгебра высказываний
KW  - функции алгебры логики
KW  - математическая логика
KW  - задачники
N1  - Библиогр.: с. 282-284. - Предм. указ.: с. 285-288
ER  -