Categorical Logic


تاربرگ‌های پیموده‌شده در این نشست: triangle ⟩ Modal Logics between S4 and S5 ⟩ The Completeness of the First-Order Functional Calculus