Ваша оценкаВ книге систематически излагаются классические исчисления высказываний и предикатов, а также формальная система арифметики. Затрагиваются различные вопросы, относящиеся к основаниям математики.
Книга предназначена для лиц, впервые знакомящихся с математической логикой, и не требует от читателя никакой специальной подготовки.
Последняя глава, посвященная элементарному доказательству непротиворечивости некоторой ограниченной части классической арифметики методом автора, может представлять интер...
Жанры
Рейтинг LiveLib
4,5
1 оценка
- 5100%
- 40%
- 30%
- 20%
- 10%
Ваша оценкаПрочитали 1Хотят прочитать 3
Подборки с этой книгой
__ Советское книгоиздание. 1956-1960
- 292 книги
Математическая логика и основания математики
- 25 книг
Логика и математика
- 81 книга
Другие издания
