Філософський енциклопедичний словник
А Б В Г Д Е Є Ж З І Й К [Л] М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ю Я S
логіка конструктивна
ЛОГІКА КОНСТРУКТИВНА - напрям математичної логіки, в якому досліджуються міркування про об'єкти та їхні властивості, для яких існують способи побудови чи перевірки їх існування.
Ви можете поставити посилання на це слово:

матиме такий вигляд: логіка конструктивна


матиме такий вигляд: Що таке логіка конструктивна