@article{1195522250,
author = {Is\'eki, Kiyoshi and Tanaka, Sh\^otar\^o},
title = {On axiom systems of propositional calculi, X},
journal = {Proc. Japan Acad.},
volume = {41},
number = {9},
year = {1965},
pages = { 801-802},
language = {en},
url = {http://dml.mathdoc.fr/item/1195522250}
}
Iséki, Kiyoshi; Tanaka, Shôtarô. On axiom systems of propositional calculi, X. Proc. Japan Acad., Tome 41 (1965) no. 9, pp. 801-802. http://gdmltest.u-ga.fr/item/1195522250/