УДК 168.3
Учение о доказательстве
код УДК
описание
примечания
168.32
Прямое доказательство
168.33
Косвенное доказательство. Доказательство от обратного (Deductio ad absurdum)
168.35
Теория ошибок в доказательстве