TY  - BOOK
AU  - Шабунин, Л. В.
TI  - Математическая логика. Логика высказываний и логика предикатов
PY  - 2003///
CY  - Чебоксары
PB  - Чуваш. гос. ун-т
KW  - Математическая логика
KW  - Руководства, пособия и т.п. для высшей школы
KW  - Исчисление высказываний
KW  - RU\NLR\auth\66244969
KW  - Учебные издания для высших учебных заведений
KW  - RU\NLR\auth\661336082
KW  - Исчисление предикатов
KW  - RU\NLR\auth\661352942
KW  - RU\NLR\auth\661352941
KW  - В123я73-1
N2  - Библиогр.: с. 54-55 (20 назв.)
ER  -