Тауснер Г

Доклады и лекции в базе данных Math-Net.Ru

1. Proofs that Modify Proofs
   H. Towsner
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   3 марта 2025 г. 16:00