رشته
برابر انگلیک (انگلیسی): sequent


تاربرگ‌های پیموده‌شده در این نشست: بنداشت هنگرد تهی ⟩ دیوید لوییس ⟩ مایکل دامت ⟩ Russell's Correspondence with Frege ⟩ آرثر نورمن پرایور ⟩ آلن تورینگ