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

Author: 
Гильберт Д., Бернайс П.
Book language: 
Rus
Publisher: 
М., Наука
Publishing year: 
1979
Գրանցման համար: 
4465
Էջեր: 
560
Ինդեքս: 
Г-47
Copy Number: 
1
830
510.2