М 50 Мендельсон, Эллиот. Введение в математическую логику [Текст] / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - 3-е изд. - М. : Наука, 1984. - 319, [1] с. - 1.80 р. Рубрики: Математическая логика Кл.слова (ненормированные): исчисление высказываний -- формальная арифметика -- эффективная вычислимость Доп.точки доступа: Кабаков, Ф.А. \пер. с англ.\; Адян, С.И. \ред.\ Экземпляры всего: 3 Ч.з.1 (3) Свободны: Ч.з.1 (3) |