логіка конструктивна

ЛОГІКА КОНСТРУКТИВНА — напрям математичної логіки, в якому досліджуються міркування про об'єкти та їхні властивості, для яких існують способи побудови чи перевірки їх існування.