теорія доведень
ТЕОРІЯ ДОВЕДЕНЬ — розділ сучасної логіки, предметом дослідження якого є доведення — як синтаксичного об'єкта і як динамічної процедури, визначених у різноманітних логічних системах.
Філософський енциклопедичний словникТЕОРІЯ ДОВЕДЕНЬ — розділ сучасної логіки, предметом дослідження якого є доведення — як синтаксичного об'єкта і як динамічної процедури, визначених у різноманітних логічних системах.
Філософський енциклопедичний словник