آوین-نگریک

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


تاربرگ‌های پیموده‌شده در این نشست: Absorption PL.FL.03