Вид документа : Однотомное издание Шифр издания : 518.5/Ч-50 Автор(ы) : Черч А. Заглавие : Введение в математическую логику : пер. с англ. Т. 1 Выходные данные : Москва: Изд-во иностр. лит., 1960 Колич.характеристики :485 с Цена : 2.34, р. УДК : 518.5 Предметные рубрики: МАТЕМАТИЧЕСКАЯ ЛОГИКА Экземпляры :ОРКиРФ(1) Свободны : ОРКиРФ(1) Доп.точки доступа: Успенский, В. А. \ред.\