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