Новые поступления (книга в стадии обработки) Мендельсон, Э. Введение в математическую логику [Текст] : научное издание / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; Под ред. С. И. Адяна. - М. : Наука, 1971. - 320 с. ; 22 см. - 1.77 р.
Рубрики: Математика--Математическая логика Кл.слова (ненормированные): ПРОПОЗИЦИОНАЛЬНЫЕ СВЯЗКИ -- КВАНТОРЫ -- АРИФМЕТИЗАЦИЯ -- ТЕОРИЯ МНОЖЕСТВ -- ТЕОРЕМА ХАРТОГСА -- ТЕОРЕМА ТАРСКОГО Аннотация: Дается доступное изложение основных разделов математической логики и многих ее приложений, освещены также теория моделей и аксиоматическая теория множеств. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Кабаков, Ф. А. Адян, С.И. |