Towsner Henry

Presentations in Math-Net.Ru

1. Proofs that Modify Proofs
   H. Towsner
   Seminars "Proof Theory" and "Logic Online Seminar"
   March 3, 2025 16:00