511.3 Д72 Драгалин А.Г Математический интуиционанизм введение в теорию доказательств - 0 .- Москва.: Наука главная редакция физико-математической литературы, 1979 .- 255, - 0 Source: Худалдаж авсан Тавиурын заалт: 511.3 / Д72