TY  - BOOK
AU  - Верещагин, Н. К.
AU  - Шень, А. Х.
TI  - Языки и исчисления
T2  - Лекции по математической логике
VL  - [Ч. 2]
SN  - 5-900916-66-9
PY  - 2000///
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я7-2
N2  - Библиогр.: с. 269-272 (34 назв.); Предм. указ.: 273-282; Указ. имен: с. 283-284
ER  -