TY  - BOOK
AU  - Косовский
AU  - Тишков
TI  - Логики конечнозначных предикатов на основе неравенств
SN  - 5-288-02049-3
PY  - 2000///
CY  - СПб.
PB  - Изд-во С.-Петерб. ун-та
KW  - Математическая логика
KW  - Руководства, пособия и т.п. для высшей школы
KW  - Исчисление предикатов
KW  - RU\NLR\auth\661352942
KW  - Учебные издания для высшей школы
KW  - RU\NLR\auth\661352941
KW  - 510.6(078)
KW  - 3
KW  - rus
KW  - 27.03
KW  - rugasnti
KW  - 22.12
KW  - rubbk
KW  - В123я73-1
N2  - Предм. указ.: с. 221-224; Библиогр.: с. 225-231, 268
ER  -