512.7 <br/> М29 
<br/> Мартин-лёф П. <br/>
          Очерки по конструктивной математике 
  
 - 0 
.- Москва.: Мир, 1975
.- 134, 
 <br/>  -  0 
<br/><br/><label>Source: </label> Худалдаж авсан 
<br/><br/><label>Тавиурын заалт: </label>512.7  / М29