TY  - BOOK
AU  - Лихтарников,Леонид Моисеевич
AU  - Сукачева,Тамара Геннадьевна
TI  - Математическая логика: курс лекций : задачник-практикум и решения : учебное пособие
T2  - Учебники для вузов. Специальная литература
SN  - 9785811400829
PY  - 2009///
CY  - Санкт-Петербург [и др.]
PB  - Лань
KW  - электронные учебники для вузов
KW  - математическая логика
KW  - алгебра логики
KW  - исчисление высказываний
KW  - логика предикатов
KW  - математические теории
KW  - булева алгебра
KW  - теория алгоритмов
KW  - задачи
KW  - решение задач
N1  - Библиогр.: с. 273
UR  - http://e.lanbook.com/books/element.php?pl1_cid=25&pl1_id=231
ER  -