@article{1195521766, author = {Is\'eki, Kiyoshi}, title = {An algebraic formulation of $K-N$ propositional calculus}, journal = {Proc. Japan Acad.}, volume = {42}, number = {5}, year = {1966}, pages = { 1164-1167}, language = {en}, url = {http://dml.mathdoc.fr/item/1195521766} }
Iséki, Kiyoshi. An algebraic formulation of $K-N$ propositional calculus. Proc. Japan Acad., Tome 42 (1966) no. 5, pp. 1164-1167. http://gdmltest.u-ga.fr/item/1195521766/