Доведень теорія
розділ сучасної логіки, предметом дослідження якого є доведення – як синтаксичного об’єкта і як динамічної процедури, визначених у різноманітних логічних системах
розділ сучасної логіки, предметом дослідження якого є доведення – як синтаксичного об’єкта і як динамічної процедури, визначених у різноманітних логічних системах