آوین-نگریک

همچنین شناخته شده با: نظریه برهانی
برابر انگلیک (انگلیسی): proof-theoretic