Математика метаматематики
Р. Сикорский, Е. Расёва
Название этой книги — вовсе не каламбур, как это может показаться на первый взгляд.
Метаматематика — это теория, изучающая формализованные математические теории. Формализованная теория — это, грубо…
Развернуть
Метаматематика — это теория, изучающая формализованные математические теории. Формализованная теория — это, грубо…
Серия: | Математическая логика и основания математики |
Издательство: | Наука |
Лучшая подборка с книгой
Похожие книги
Вы можете посоветовать похожие книги по сюжету, жанру, стилю или настроению. Предложенные вами книги другие пользователи увидят здесь, в блоке «Похожие книги». Посоветовать книгу