تاربرگ‌های پیموده‌شده در این نشست: logicism Ronald Rivest tableaux commutativity of conjunction absurd antisymmetric