Основы теоретической логики
Гильберт Давид, Аккерман Вильгельм
Перевод руководства по элементам математической логики Д.Гильберта и В.Аккермана содержит систематическое построение аппарата. Книга выросла из курса лекций известного математика конца XIX и первых тридцати лет XX вв. Д.Гильберта и написана его учеником Аккерманом. Философские проблемы, связанные с математической логикой и ее приложениями к основаниям математики в книге вообще не обсуждаются. Первоначально книга была намечена как введение в появившуюся позже двухтомную монографию Д.Гильберта и П.Бернайса, посвященную "Основаниям математики" и содержащую подробный разбор основных результатов в этой области, доведенный до 1940 года.
Редакция, вступительная статья и комментарии проф. С.А.Яновской.
Редакция, вступительная статья и комментарии проф. С.А.Яновской.
Kategori:
Tahun:
1947
Edisi:
2
Penerbit:
Государственное издательство иностранной литературы
Bahasa:
russian
Halaman:
304
File:
PDF, 17.39 MB
IPFS:
,
russian, 1947