BOOKS - NATURAL SCIENCES - Основания математики. Логические исчисления и формализация...
US $9.63
124659
124659
Основания математики. Логические исчисления и формализация арифметики
Author: Гильберт Д., Бернайс П.
Year: 1979
Number of pages: 557
Format: PDF
File size: 31 MB
Language: RU
Year: 1979
Number of pages: 557
Format: PDF
File size: 31 MB
Language: RU
The two-volume monograph by D. Hilbert and P. Bernais occupies a unique place in world mathematical literature. Its first German edition, published in the thirties, summed up the process of the formation of mathematical logic as an independent mathematical discipline with its own problems and its own methods. This book had a decisive influence on the further development of mathematical logic.