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