@article{1195521841,
author = {Is\'eki, Kiyoshi},
title = {On axiom systems of propositional calculi, XXIII},
journal = {Proc. Japan Acad.},
volume = {42},
number = {5},
year = {1966},
pages = { 875-877},
language = {en},
url = {http://dml.mathdoc.fr/item/1195521841}
}
Iséki, Kiyoshi. On axiom systems of propositional calculi, XXIII. Proc. Japan Acad., Tome 42 (1966) no. 5, pp. 875-877. http://gdmltest.u-ga.fr/item/1195521841/