@article{1093888407,
author = {Soboci\'nski, Boles\l aw},
title = {Note about \L\ ukasiewicz's theorem concerning the system of axioms of the implicational propositional calculus.},
journal = {Notre Dame J. Formal Logic},
volume = {19},
number = {1},
year = {1978},
pages = { 457-460},
language = {en},
url = {http://dml.mathdoc.fr/item/1093888407}
}
Sobociński, Bolesław. Note about Ł ukasiewicz's theorem concerning the system of axioms of the implicational propositional calculus.. Notre Dame J. Formal Logic, Tome 19 (1978) no. 1, pp. 457-460. http://gdmltest.u-ga.fr/item/1093888407/