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