TY  - BOOK
AU  - Лихтарников,Леонид Моисеевич
AU  - Сукачева,Тамара Геннадьевна
TI  - Математическая логика: курс лекций, задачник-практикум и решения : учебное пособие
T2  - Учебники для вузов
SN  - 9785811400829
PY  - 2008///
CY  - СПб.
PB  - Лань
KW  - учебные пособия для вузов
KW  - математическая логика
KW  - алгебра логики
KW  - исчисление высказываний
KW  - логика предикатов
KW  - математические теории
KW  - Буля алгебра
KW  - теория алгоритмов
KW  - задачи
KW  - решение задач
N1  - Библиогр.: с. 272
ER  -