تاربرگ‌های پیموده‌شده در این نشست: ارزش‌های راستی محکی جملات هستند ⟩ توماس اچ کورمن