جبر درونی
برابر انگلیک (انگلیسی): Interior algebra


تاربرگ‌های پیموده‌شده در این نشست: Karel Lambert ⟩ Double Negation Elimination