Логика интуиционистская
Логика интуиционистская (intuitionistal logic) — область математической логики, признающая потенциально осуществимые бесконечные множества и охватывающая исследования по построению алгоритмов и изучению их свойств. [Словарь понятий по