TY  - BOOK
AU  - Верещагин, Н. К.
AU  - Шень, А.
TI  - Языки и исчисления
T2  - Лекции по математической логике и теории алгоритмов
VL  - ч. 2
SN  - 9785443900131
PY  - 2012///
CY  - Москва
PB  - Изд-во МЦНМО
KW  - Исчисление высказываний
KW  - Учебные издания
KW  - RU\NLR\auth\661336082
KW  - Исчисление предикатов
KW  - RU\NLR\auth\661352941
KW  - В123,0
KW  - rubbk
KW  - В123я7-2
N2  - Библиогр.: с. 224-227 (34 назв.); Указатели: предм., имен: с. 228-240
ER  -