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


تاربرگ‌های پیموده‌شده در این نشست: جاره پخش‌پذیری ⟩ شمارگان درست ⟩ بَوَندَگی نیرومند ⟩ Logic, Mathematics, and Computer Science: Modern Foundations with Practical Applications ⟩ نمونه‌سازی هرگانی ⟩ بَوَندَگی