Соколов Павел Павлович

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

1. Теория типов и альтернативные основания математики
   Павел Соколов
   Математический семинар ФКН ВШЭ
   21 марта 2025 г. 18:10