Название: Элементы математической логикиАвтор: Новиков П.С.
Издательство: М.: Наука
Год: 1973 - 2-изд., испр.
Cтраниц: 401
Формат: pdf
Размер: 23 мб
Язык: русский
В настоящей книге сделана попытка дать по возможности доступное изложение основ математической логики. Этой задаче посвящены первые пять глав книги, составляющие ее основное содержание (логика и исчисление высказываний, логика и исчисление предикатов, аксиоматическая арифметика). Последняя, шестая, глава носит более специальный характер, в ней рассматриваются методы теории доказательства, посредством которых решаются некоторые вопросы математической логики, возникающие в основном тексте книги. Книга привлечет внимание всех занимающихся или интересующихся математической логикой, а также может быть использована как учебное пособие по курсу математической логики в университетах.
Скачать Новиков П.С. - Элементы математической логики