Jan Lukasiewicz. Selected works - Borkowski, L (Studies in Logic and the Foundations of Mathematics, 1970)