Основания математики, в 2-х томах. Том 1. Логические исчисления и формализация арифметики
Гильберт Д., Бернайс П.
Аннотация Двухтомная монография Д. Гильберта и П. Бернайса занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в тридцатых годах, подвело итог процессу становления математической логики как самостоятельной математической дисциплины со своей проблематикой и своими методами. Эта книга оказала решающее влияние на дальнейшее развитие математической логики. Другие книги по данной тематике на сайте: Идельсон А.В. Математическая теория логического вывода. Математическая логика и основания математики Пойа Дж. Математика и правдоподобные рассуждения Грэхем Р., Кнут Д., Паташник О. Конкретная математика. Основание информатики Мацнев А.П. Математическая логика и теория алгоритмов
Kategorie:
Rok:
1979
Wydawnictwo:
Наука
Język:
russian
Strony:
557
Serie:
Математическая логика и основания математики
Plik:
DJVU, 5.80 MB
IPFS:
,
russian, 1979
Litres
Chcesz dodać księgarnię? Skontaktuj się z nami na support@z-lib.do
Konwertuj pliki
Więcej wyników wyszukiwania
Inne korzyści 
![Идельсон А.В., Минц Г.Е. (ред.) — Математическая теория логического вывода [сборник переводов статей]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/1eebf89368c6f5ad9081ffa5a1993272e6ab65571b3f54d8037fa4b853c88c34.jpg)
