В Bazar.BG от 01 септември 2015г.
Последно активен днес в 00:26 ч.
к-329-3374343
Основания математики. Том 1-2
Логические исчисления и формализация арифметики
Д. Гильберт, П. Бернайс
Монография Д.Гильберта и П.Бернайса ”Основания математики” занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в 30-х годах, подвело итог процессу становления математической логики как самостоятельной дисциплины со своей проблематикой и своими методами, отличающаяся исключительной глубиной содержания и тщательностью изложения, монография Гильберта и Бернайса пользуется большой популярностью среди специалистов и оказывает влияние на развитие математической логики.
Т. I. Логические исчисления и формализация арифметики.
Т. II. Теория доказательств