Вид документа : Однотомное издание Шифр издания : 510.6/М50 Автор(ы) : Мендельсон, Элиот Заглавие : Введение в математическую логику . -2-е изд., испр. Параллельн. заглавия :Introduktion to mathematical logic Выходные данные : М.: Наука, Гл. ред. физ.-мат. лит., 1976 Колич.характеристики :320 с.: рис. Примечания : Лит.: с. 296-309. - Алф. указ.: с. 310-317 Цена : 1.65 р. УДК : 510.6 ББК : 22.122 Предметные рубрики: Математична логіка Географич. рубрики: Аннотация: Изложены основные понятия математической логики: логика высказываний, исчисление предикатов, формальная арифметика, теория алгоритмов и др. Экземпляры : всего : ЧЗ(1), ФОНД(1) Свободны : ЧЗ(1), ФОНД(1) Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Кабаков, Ф. А. \пер.\; Адян, С. И. \ред.\ |