TY  - BOOK
AU  - Лупанов, О. Б.
AU  - Угольников, А. Б.
TI  - Конспект лекций О. Б. Лупанова по курсу "Введение в математическую логику"
T2  - Классический университетский учебник
SN  - 978-5-19-012175-9
PY  - 2025///
CY  - Москва
PB  - Изд-во Московского университета
KW  - Математическая логика
KW  - Учебные издания для высших учебных заведений
KW  - RU\NLR\AUTH\6620994
KW  - В12я73-1
N2  - Библиогр.: с. 325-327 (37 назв.) и в подстроч. примеч
ER  -