Математическая логика
Математика
  • формат pdf
  • размер 17,39 МБ
  • добавлен 08 ноября 2015 г.
Гильберт Д., Аккерман В. Основы теоретической логики
2-е изд. — М.: Государственное издательство иностранной литературы, 1947. — 306 с.
Текстовый слой, оглавление.
Перевод руководства по элементам математической логики Д.Гильберта и В.Аккермана содержит систематическое построение аппарата. Книга выросла из курса лекций известного математика конца XIX и первых тридцати лет XX вв. Д.Гильберта и написана его учеником Аккерманом. Философские проблемы, связанные с математической логикой и ее приложениями к основаниям математики в книге вообще не обсуждаются. Первоначально книга была намечена как введение в появившуюся позже двухтомную монографию Д.Гильберта и П.Бернайса, посвященную "Основаниям математики" и содержащую подробный разбор основных результатов в этой области, доведенный до 1940 года.
Похожие разделы