Вид документа : Однотомное издание Шифр издания : 510.6/Н73 Автор(ы) : Новиков, Петр Сергеевич Заглавие : Элементы математической логики . -2-е изд., испр. Выходные данные : М.: Наука, Гл. ред. физ.-мат. лит., 1973 Колич.характеристики :400 с Серия: Математическая логика и основания математики Примечания : Предм. указ.: с. 397-399 Цена : 1.43 р. УДК : 510.6 ББК : 22.122 Предметные рубрики: Математична логіка Географич. рубрики: Аннотация: Изложены основы математической логики, рассмотрены методы теории доказательств, посредством которых решаются вопросы математической логики. Экземпляры : всего : ЧЗ(1), ФОНД(1) Свободны : ЧЗ(1), ФОНД(1) Держатели документа: ЖОУНБ ім. О. Ольжича |