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