Information related to Проект:Логика/Списки/Банах, Стефан