Драгалин А. Г. Конструктивная теория доказательств и нестандатрный анализ / А. Г. Драгалин; [Редкол. : Г. Е. Минц (отв. ред. ) и др. ]. - М. : Едиториал УРСС, 2003. - 543, [1] с.