تاربرگ‌های پیموده‌شده در این نشست: Pyotr Sergeyevich Novikov permutation proof-theoretic