В книге излагаются классические исчисления высказываний и предикатов, а также формальная система арифметики. Затрагиваются различные вопросы, относящиеся к основаниям математики. Книга предназначена для лиц, впервые знакомящихся с математической логикой, и не требует от читателя никакой специальной подготовки. Последняя глава, посвященная элементарному доказательству непротиворечивости некоторой ограниченной части классической арифметики методом автора, может представлять интерес и для специалистов.
Автор
Новиков П. С.
Издательство
Наука
Год издания
1973
Серия
Математическая логика и основания математики
Объем (стр)
400
Переплет
Твердый+суперобложка
Состояние
Хорошее
Отзыв успешно отправлен. Он будет проверен администратором перед публикацией.
