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