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


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