Lev Dmitrievich Beklemishev
Original record- Institution
- Steklov Institute of Mathematics
- Year
- 1992
- Country
- Russia
- MGP identifier
- 93538
Dissertation: Classification of Propositional Provability Logics
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisors 2
- Sergei Nikolayevich ArtemovLomonosov Moscow State University · 1980
- Sergei Ivanovich AdianInstitution not recorded · 1955
Students 5
| Name | Institution | Year | Students |
|---|---|---|---|
| Evgenij Vladimirovich Dashkov | Lomonosov Moscow State University | 2012 | 0 |
| Joost J. Joosten | Universiteit Utrecht | 2004 | 3 |
| Daniyar Salkarbekovich Shamkanov | Lomonosov Moscow State University | 2012 | 0 |
| Tatiana Leonidovna Yavorskaya (Sidon) | Lomonosov Moscow State University | 1997 | 0 |
| Rostislav Eduardovich Yavorsky | Lomonosov Moscow State University | 1998 | 0 |