Мартин-Леф, Пьер <br/><br/>
Очерки по конструктивной математики :  Пер. с англ. / 
 Notes on Constructive Mathematics 
П. Мартин-Леф : Пер. Г.Е. Минца ; Под ред. А.Г. Драгалина. 
 - Москва :  Мир,  1975. 
 - 136 с. 
 - Библиотека сборника "Математика" .
<br/><br/><label>Subjects--Topical Terms: </label><br/>Высшая математика