511.3 <br/> С74 
<br/> Давыдова Г.В., Минца Г.Е. <br/>
          Справочная книга по математической логике. В 4-х частях. Ч.4.Теория доказательств и конструктивная математика 
  
 - 0 
.- Москва.: Наука, 1983
.- 392, 
 <br/>  -  0 
<br/><br/><label>Source: </label> Худалдаж авсан 
<br/><br/><label>Тавиурын заалт: </label>511.3  / С74