Основы теоретической логики
Год выпуска: 1947
Автор: Гильберт Д., Аккерман В.
Жанр: Учебное пособие для вузов
Язык: Русский
Издательство: Государственное издательство иностранной литературы
Формат: DjVu
Качество: Отсканированные страницы
Количество страниц: 153 - файл, 306 - книга
Описание: Перевод руководства по элементам математической логики Д.Гильберта и В.Аккермана содержит систематическое построение аппарата. Книга выросла из курса лекций известного математика конца XIX и первых тридцати лет XX вв. Д.Гильберта и написана его учеником Аккерманом. Первоначально книга была намечена как введение в появившуюся позже двухтомную монографию Д.Гильберта и П.Бернайса, посвященную "Основаниям математики" и содержащую подробный разбор основных результатов в этой области, доведенный до 1940 года.
Редакция, вступительная статья и комментарии проф. С.А.Яновской.
Опубликовано группой
