Stanisław Leśniewski

Stanisław Leśniewski was a Polish logician and philosopher, best known for his contributions to the foundations of mathematics and his development of systems of formal logic. He was a key figure in the Lwów–Warsaw school of logic, which included other prominent philosophers and logicians such as Jan Łukasiewicz and Alfred Tarski.