افماریک پی‌آیه
همچنین شناخته شده با: حساب رشته‌ها
برابر انگلیک (انگلیسی): Sequent calculus


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