@article{1195521794,
author = {Hosoi, Tsutomu},
title = {The separable axiomatization of the intermediate propositional systems $S\_n $ of G\"odel},
journal = {Proc. Japan Acad.},
volume = {42},
number = {5},
year = {1966},
pages = { 1001-1006},
language = {en},
url = {http://dml.mathdoc.fr/item/1195521794}
}
Hosoi, Tsutomu. The separable axiomatization of the intermediate propositional systems $S_n $ of Gödel. Proc. Japan Acad., Tome 42 (1966) no. 5, pp. 1001-1006. http://gdmltest.u-ga.fr/item/1195521794/