Основания математики, в 2-х томах. Том 2. Теория доказательств
Гильберт Д., Бернайс П.
Аннотация Двухтомная монография Д. Гильберта и П. Бернайса занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в тридцатых годах, подвело итог процессу становления математической логики как самостоятельной математической дисциплины со своей проблематикой и своими методами. Эта книга оказала решающее влияние на дальнейшее развитие математической логики. Другие книги по данной тематике на сайте: Идельсон А.В. Математическая теория логического вывода. Математическая логика и основания математики Пойа Дж. Математика и правдоподобные рассуждения Грэхем Р., Кнут Д., Паташник О. Конкретная математика. Основание информатики Мацнев А.П. Математическая логика и теория алгоритмов
వర్గాలు:
సంవత్సరం:
1982
ప్రచురణకర్త:
Наука
భాష:
russian
పేజీల సంఖ్య:
653
పుస్తక శ్రేణి:
Математическая логика и основания математики
ఫైల్:
DJVU, 7.54 MB
IPFS:
,
russian, 1982