تاربرگ‌های پیموده‌شده در این نشست: گویایی کرایزل-پاتنم ⟩ زدایش ∧ ⟩ ویلهلم آکرمان ⟩ دمداشت: گویایی پیوند و بایستگی