بنداشت گزینش
همچنین شناخته شده با: نظریه
برابر انگلیک (انگلیسی): Sequent calculus


تاربرگ‌های پیموده‌شده در این نشست: سکرات ⟩ بنداشتش ⟩ شماره‌ی زاستاری ⟩ جبر بستاری ⟩ شمارگان زاستاری ⟩ Hans Reichenbach