Московский государственный университет имени М.В. Ломоносова
Математическая логика
Механико-математический
2001 • Москва