فروهازش زاستاری
همچنین شناخته شده با: استنتاج طبیعی
برابر انگلیک (انگلیسی): Natural Deduction


تاربرگ‌های پیموده‌شده در این نشست: On Interpretation ⟩ اندرهازش یک انگاشته ⟩ Semantical Considerations on Modal Logic ⟩ درباره‌ی نماردن