@article{1093894376, author = {Thomas, Ivo}, title = {A proof of a theorem of \L\ ukasiewicz.}, journal = {Notre Dame J. Formal Logic}, volume = {12}, number = {1}, year = {1971}, pages = { 507-508}, language = {en}, url = {http://dml.mathdoc.fr/item/1093894376} }
Thomas, Ivo. A proof of a theorem of Ł ukasiewicz.. Notre Dame J. Formal Logic, Tome 12 (1971) no. 1, pp. 507-508. http://gdmltest.u-ga.fr/item/1093894376/