Теории первого порядка, логики доказуемости, модели вычислений.

• Московский государственный университет имени М. В. Ломоносова
• Математический институт им. В.А. Стеклова Российской академии наук, г. Москва