تاربرگ‌های پیموده‌شده در این نشست: The Completeness of the First-Order Functional Calculus ⟩ Logic ⟩ Mathematical foundations ⟩ Substructural Logics ⟩ Logical-Historical Analysis of Gödel's Metatheorem in Modal Logic