Ваша оценкаВ книге систематически излагаются классические исчисления высказываний и предикатов, а также формальная система арифметики. Затрагиваются различные вопросы, относящиеся к основаниям математики.
Книга предназначена для лиц, впервые знакомящихся с математической логикой, и не требует от читателя никакой специальной подготовки.
Последняя глава, посвященная элементарному доказательству непротиворечивости некоторой ограниченной части классической арифметики методом автора, может представлять интер...
Жанры
Год издания:
1959
Тканевый переплет, суперобложка, 400стр.
Тираж: 15000
Формат: 84x108/32
Возрастные ограничения:
18+
Рейтинг LiveLib
4,5
1 оценка
- 5100%
- 40%
- 30%
- 20%
- 10%
Ваша оценкаПрочитали 1Хотят прочитать 3
Рецензии
На эту книгу еще нет ни одной рецензии. Ваша может стать первой.
Цитаты
Еще не добавлена ни одна цитата из книги. Ваша может стать первой.
Подборки с этой книгой
__ Советское книгоиздание. 1956-1960
- 292 книги
Математическая логика и основания математики
- 25 книг
Логика и математика
- 81 книга
