@article{1195522343,
author = {Is\'eki, Kiyoshi},
title = {On axiom systems of propositional calculi, IV},
journal = {Proc. Japan Acad.},
volume = {41},
number = {9},
year = {1965},
pages = { 575-577},
language = {en},
url = {http://dml.mathdoc.fr/item/1195522343}
}
Iséki, Kiyoshi. On axiom systems of propositional calculi, IV. Proc. Japan Acad., Tome 41 (1965) no. 9, pp. 575-577. http://gdmltest.u-ga.fr/item/1195522343/