Loading [MathJax]/jax/output/SVG/config.js
|
|
Seminars
"Proof Theory" and "Logic Online Seminar"
March 18, 2024 18:30–20:00, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + online
|
 |
|
 |
|
|
|
О расширении модального исчисления предикатов QGL с помощью нефундированных доказательств
D. S. Shamkanova, P. Razumnyb
a Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
b Moscow Institute of Physics and Technology (State University), Dolgoprudny, Moscow region
|
| Video records: |
 |
MP4 |
1,225.8 Mb |
|
MP4 |
3,066.5 Mb |
| Number of views: |
| This page: | 208 | | Video files: | 37 |
|
|
|
|
Contact us: