Поляки 20-го века философы

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