База данных: Электронный Каталог
Беті 1, Нәтижелерін: 1
Отмеченные записи: 0
1.
Подробнее
Мендельсон, Э.
Введение в математическую логику : пер. с англ. Ф.А.Кабакова / Под ред. С.И.Адяна. - М. : ФИЗМАТЛИТ, 1971. - 320 с. - Б. ц.
Рубрики: Математика
Кл.слова (ненормированные):
Исчисление высказываний -- Теория первого порядка -- Формальная арифметика -- Аксиоматическая теория множеств -- Эффективная вычислимость
Мендельсон, Э.
Введение в математическую логику : пер. с англ. Ф.А.Кабакова / Под ред. С.И.Адяна. - М. : ФИЗМАТЛИТ, 1971. - 320 с. - Б. ц.
Рубрики: Математика
Кл.слова (ненормированные):
Исчисление высказываний -- Теория первого порядка -- Формальная арифметика -- Аксиоматическая теория множеств -- Эффективная вычислимость
Беті 1, Нәтижелерін: 1