Московский государственный университет имени М.В. Ломоносова
Математическая логика
МЕХАНИКО-МАТЕМАТИЧЕСКИЙ
2001 • Москва