TY - BOOK AU - Дурнев, В. Г. TI - Элементы теории множеств и математической логики SN - 978-5-8397-0660-6 PY - 2009/// CY - Ярославль PB - Ярославский гос. ун-т KW - Множеств теория KW - Учебные издания для высших учебных заведений KW - RU\NLR\auth\661267244 KW - Исчисление предикатов KW - RU\NLR\auth\661352941 KW - Математическая логика KW - RU\NLR\auth\6620994 KW - Физико-математические науки -- Математика -- Математический анализ -- Теория функций действительного переменного -- Теория множеств -- Учебник для высшей школы KW - Физико-математические науки -- Математика -- Основания математики. Математическая логика -- Логические исчисления. Исчисление высказываний, исчисление предикатов -- Учебник для высшей школы KW - В161.41я73-1 KW - rubbk KW - В123я73-1 KW - В12я73-1 N2 - Библиогр.: с. 409-411 (49 назв.) ER -