TY  - BOOK
AU  - Хомич, В. И.
TI  - Логика высказываний и исчисление высказываний
T2  - Учебное пособие
SN  - 5-7038-2528-8
PY  - 2004///
CY  - М.
PB  - Изд-во МГТУ
KW  - Математическая логика
KW  - Исчисление высказываний
KW  - Руководства, пособия и т.п. для высшей школы
KW  - nlr-sh1
KW  - RU\NLR\auth\66244969
KW  - Учебные издания для высших учебных заведений
KW  - nlr-sh2
KW  - RU\NLR\auth\661336082
KW  - В123я73-1
N2  - Библиогр.: с. 41
ER  -