|
|
Seminars
"Proof Theory" and "Logic Online Seminar"
March 4, 2019 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
Модели исчисления Ламбека с субэкпоненциалами
Daniel Rogozin |
Video records: |
|
MP4 |
1,055.5 Mb |
|
MP4 |
2,324.8 Mb |
Number of views: |
This page: | 448 | Video files: | 169 |
|
|
|