Очерки по конструктивной математике.

Author: 
Мартин-Лёф П.
Book language: 
Rus
Publisher: 
М., Мир
Publishing year: 
1975
Գրանցման համար: 
2653, 3487, 6304
Էջեր: 
136
Ինդեքս: 
М-29
Copy Number: 
3
2122
510