Scientific Interests: «provability logic»Units
Name and Position
Contacts
+7 (495) 772-95-90
15304
15304
Professor: Faculty of Mathematics / Joint Department with the Steklov Mathematical Institute (RAS)
В старых версиях браузеров сайт может отображаться некорректно. Для оптимальной работы с сайтом рекомендуем воспользоваться современным браузером.
- A
- A
- A
- ABC
- ABC
- ABC
- А
- А
- А
- А
- А
Regular version of the site
- HSE University
- About HSE
- Faculty and Staff
- About
- About
- Key Figures & Facts
- Sustainability at HSE University
- Faculties & Departments
- International Partnerships
- Faculty & Staff
- HSE Buildings
- Public Enquiries
- Studies
- Admissions
- Programme Catalogue
- Undergraduate
- Graduate
- Exchange Programmes
- Summer Schools
- Semester in Moscow
- Business Internship
- Research
- International Laboratories
- Research Centres
- Research Projects
- Monitoring Studies
- Conferences & Seminars
- Academic Jobs
- Yasin (April) International Academic Conference on Economic and Social Development
© HSE 1993–2021
Contacts
Copyright
Privacy Policy
Site Map
HSE Sans and HSE Slab fonts developed by the HSE Art and Design School