تاربرگ‌های پیموده‌شده در این نشست: Stanisław Jaśkowski ⟩ Thomas Hobbes ⟩ Foundational theories ⟩ Semantic theories ⟩ Löwenheim-Skolem Theorem ⟩ Thomas H. Cormen