Ванда Шмелев
Ванда Шмилев Ванда Шмилев – польский математический логик, доказавшая разрешимость теории абелевых групп первого порядка. Шмилев родилась в Варшаве и […]
Ванда Шмилев Ванда Шмилев – польский математический логик, доказавшая разрешимость теории абелевых групп первого порядка. Шмилев родилась в Варшаве и […]
Казимеж Куратовский Казимеж Куратовский – польский математик, внесший значительный вклад в топологию и теорию множеств. Он разработал теорию связанных компонентов