Основания математики. Логические исчисления и формализация арифметики.

Купить бумажную книгу и читать

Купить бумажную книгу

По кнопке выше можно купить бумажные варианты этой книги и похожих книг на сайте интернет-магазина "Буквоед".

Using the button above you can buy paper versions of this book and similar books on the website of the "Bookvoed" online store.

Реклама. ООО «Новый Книжный Центр», ИНН: 7710422909, erid: 5jtCeReLm1S3Xx3LfAELCUa.

Название: Основания математики. Логические исчисления и формализация арифметики. Теория доказательств.

Автор:

Издательство: Наука

Год: 1979

Формат: djvu

Размер: 13,3 mb (+3%)

Двухтомная монография Д.Гильберта и П.Бернайса "Основания математики" занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в тридцатых годах, подвело итог процессу становления математической логики как самостоятельной математической дисциплины со своей проблематикой и своими методами. Эта книга оказала решающее влияние на дальнейшее развитие математической логики. Отличающаяся исключительной глубиной содержания и тщательностью изложения, монография Д.Гильберта и П.Бернайса пользуется большой популярностью среди специалистов.

Дата создания страницы: