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

Author: 
Мартин-Лёф П.
Book language: 
Rus
Publisher: 
М., Мир
Publishing year: 
1975
Registration Number: 
2653, 3487, 6304
Pages: 
136
Index: 
М-29
Copy Number: 
3
2122
510