@article{1195522205, author = {Arai, Yoshinari}, title = {On axiom systems of propositional calculi, XII}, journal = {Proc. Japan Acad.}, volume = {41}, number = {9}, year = {1965}, pages = { 901-903}, language = {en}, url = {http://dml.mathdoc.fr/item/1195522205} }
Arai, Yoshinari. On axiom systems of propositional calculi, XII. Proc. Japan Acad., Tome 41 (1965) no. 9, pp. 901-903. http://gdmltest.u-ga.fr/item/1195522205/