TY  - BOOK
TI  - Элементы математической логики
PY  - 1999///
CY  - Б. м.
KW  - Математическая логика
KW  - Методические пособия
KW  - RU\NLR\auth\6620994
KW  - В12я73-1
N2  - Библиогр.: с. 36
ER  -