Elements of Logic in the Polish School of Mathematics. The Contribution of Stanisław Leśniewski. ZFN 2013, No. 53, 165-197.