Мартин-Леф Пер

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

Номер документа в системі:	39165
Автор:	Мартин-Леф Пер
Назва документа:	Очерки по конструктивной математике
Видавництво:	Мир
Місто видання:	Москва
Рік видання:	1975
УДК	517
Мова документу	Російська
Шифр документу	517
Кількість сторінок	136 с.