Справочная книга по математической логике. В 4-х частях. Ч.4.Теория доказательств и конструктивная математика

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

Худалдаж авсан

511.3 / С74
© МУБИС-ийн номын сан | СБД, VIII хороо, Бага тойруу-14, Улаанбаатар хот, Мэйл хаяг: library@msue.edu.mn
Нүүр хуудас | Журам | Номын сангийн сайт | Фэйсбүүк хуудас Утас: 976-77775115-1077