RUSSIAN

Основы теоретической логики

By Гильберт Д. , Аккерман В.(Hilbert D. , Ackermann W.)

Book information

Publisher
Государственное издательство иностранной литературы
Year
1947
Language
russian
Format
DJVU
Filesize
4 MB (4656106 bytes)
Edition
2
Pages
304\307
Topic
Mathematics Logic
DPI
600
Orientation
portrait
Paginated
no
Scanned
yes
Time added
2015-11-21 16:45:13
Математика;Математическая логика

Description

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

Similar books