Основания математики. Логические исчисления и формализация арифметики.

Author: 
Гильберт Д., Бернайс П.
Book language: 
Rus
Publisher: 
М., Наука
Publishing year: 
1979
Registration Number: 
4465
Pages: 
560
Index: 
Г-47
Copy Number: 
1
830
510.2