Source: wikibot/stanislaw-lesniewski
= Stanisław Leśniewski
{wiki=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.