• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Campus inMoscow
For visually-impaired
Advanced search
Menu
HSE University

Advanced search
Сampus
By сategory
By staff positions
reset filters

Scientific Interests: «mathematical logic»Units

Name and Position
Contacts
+7 (495) 772-95-90
15304
Beklemishev, Lev D.

Professor: Faculty of Mathematics / Joint Department with the Steklov Mathematical Institute (RAS)

mathematical logicproof theoryformal arithmeticprovability logicmodal logic
+7 (495) 772-95-90
27206
Polyakov, Nikolay L.

Associate Professor: Faculty of Economic Sciences / Department of Mathematics

Computational Social ChoiceUltrafilter Extensions of ModelsRamsey theorymathematical logic
+7 (495) 772-95-90
15304
Shehtman, Valentin B.

Professor: Faculty of Mathematics

mathematical logicnonclassical logicsuniversal algebratopologycomputer science
+7 495 772 9590 *23107
Speranski, Stanislav O.

Senior Research Fellow: Faculty of Mathematics

mathematical logictheory of algorithmsfoundations of mathematics
15304
Zapryagaev, Alexander

Associate Professor: Faculty of Computer Science / Big Data and Information Retrieval School
Associate Professor: Faculty of Mathematics

mathematical logicformal arithmetic
HSE University → About HSE → Faculty and Staff
Edit
© HSE 1993–2021  Contacts  Copyright  Privacy Policy  Site Map 

HSE Sans and HSE Slab fonts developed by the HSE Art and Design School