@article{1195521658, author = {Ono, Katuzi and Miura, Satoshi}, title = {On pairs of very-close formal systems}, journal = {Proc. Japan Acad.}, volume = {43}, number = {5}, year = {1967}, pages = { 175-177}, language = {en}, url = {http://dml.mathdoc.fr/item/1195521658} }
Ono, Katuzi; Miura, Satoshi. On pairs of very-close formal systems. Proc. Japan Acad., Tome 43 (1967) no. 5, pp. 175-177. http://gdmltest.u-ga.fr/item/1195521658/