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


تاربرگ‌های پیموده‌شده در این نشست: داراک نمونه پایان‌دار ⟩ جورج بول ⟩ پور سینا ⟩ وارون پذیری ⟩ Zur Logik der Modalitäten ⟩ بنداشت جایگزینی