TY  - BOOK
AU  - Шум, А. А.
TI  - Элементы математической логики
SN  - 5-7995-0232-9
PY  - 2003///
CY  - Тверь
PB  - Изд-во Твер. гос. техн. ун-та
KW  - Математическая логика
KW  - Руководства, пособия и т.п. для высшей школы
KW  - nlr-sh1
KW  - RU\NLR\auth\6620994
KW  - Учебные издания для высших учебных заведений
KW  - nlr-sh2
KW  - 510.6(075.8)
KW  - 3
KW  - rus
KW  - 27.03
KW  - rugasnti
KW  - 22.12я73
KW  - rubbk
KW  - В12я73-1
N2  - Библиогр.: с. 89
ER  -