Кафедра математической логики и теории алгоритмов механико-математического факультета Московского государственного университета имени М.В. Ломоносова
- 119991, Москва, Ленинские горы, ГЗ МГУ, механико-математический факультет, 16-05
- +7 (495) 939-30-31, +7 (495) 939-30-31
- http://lpcs.math.msu.su
