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


تاربرگ‌های پیموده‌شده در این نشست: اگر و تنها اگر ⟩ کوچک‌شدن ⟩ راستی ⟩ نیم‌گروه ⟩ دستورهای ساختاری ⟩ جاکارتا