دمداشت زینه‌ی یکم
برابر انگلیک (انگلیسی): First Degree Entailment


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