Jan Łukasiewicz. W sprawie aksjomatyki implikacyjnego rachunku zdań (Concerning an axiom system of the imphcational propositional calculus). VI Zjazd Matematyków Polskich, Warszawa 20-23 IX 1948, supplement to Annates de la Société Polonaise de Mathématique, vol. 22, Kraków1950, pp. 87–92.
Bolesław Sobociński
Abstract