تاربرگ‌های پیموده‌شده در این نشست: A⥽(B∨¬B) گویایی‌های پیوند پیتاگوریان جبر بستاری گراهام پریست درباره تاشتیگ