تاربرگ‌های پیموده‌شده در این نشست: Orlov's 1928 paper ⟩ Heyting axiomatization ⟩ Alan Ross Anderson ⟩ Saul Kripke ⟩ Maxwell John Cresswell ⟩ Substructural Logics