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