Daniyar Salkarbekovich Shamkanov
Original record- Institution
- Lomonosov Moscow State University
- Year
- 2012
- Country
- Russia
- MGP identifier
- 168400
Dissertation: Interpolation Properties forProvability Logics and Normalization of Terms in the Reflexive Combinatory Logic
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisors 2
- Lev Dmitrievich BeklemishevSteklov Institute of Mathematics · 1992
- Vladimir Nikolaevich KrupskiLomonosov Moscow State University · 1983
Students 0
No students recorded in this snapshot.