تاربرگ‌های پیموده‌شده در این نشست: An Introduction to Modal Logic ⟩ Logics for Computer Science, Classical and Non-Classical ⟩ Introduction to Logic and to the Methodology of Deductive Sciences ⟩ Symbolic Logic ⟩ Computer Science ⟩ artificial intelligence