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

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


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