Основания математики. Логические исчисления и формализация арифметики
Гильберт Давид, Бернайс Пауль
Двухтомная монография Д. Гильберта и П. Бернайса занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в тридцатых годах, подвело итог процессу становления математической логики как самостоятельной математической дисциплины со своей проблематикой и своими методами. Эта книга оказала решающее влияние на дальнейшее развитие математической логики.
Categories:
Year:
1979
Publisher:
Наука
Language:
russian
Pages:
558
File:
PDF, 32.09 MB
IPFS:
,
russian, 1979
Litres
Want to add your book store? Contact us at support@z-lib.do
File converter
More search results
More benefits 
![Идельсон А.В., Минц Г.Е. (ред.) — Математическая теория логического вывода [сборник переводов статей]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/1eebf89368c6f5ad9081ffa5a1993272e6ab65571b3f54d8037fa4b853c88c34.jpg)
Most frequently terms
Related Booklists
