Конструктивная теория доказательств и нестандартный анализ (Драгалин А.Г.)