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


تاربرگ‌های پیموده‌شده در این نشست: گویایی E ⟩ PL.FL.03 ⟩ گویایی انگارشی ⟩ بنداشت K ⟩ Semantical Considerations on Modal Logic