گویایی رسته‌ای

همچنین شناخته شده با: منطق حملی
برابر انگلیک (انگلیسی): Categorical Logic


تاربرگ‌های پیموده‌شده در این نشست: Modal Theorem K.4