Математический интуиционизм введение в теорию доказательств

     
      Д 721
      Драгалин,А. Г.
      Математический интуиционизм введение в теорию доказательств А. Г. Драгалин — М. Наука 1979 — 256 с.