Ян Лукасевич
польский логик