@article{1183736872, author = {Ladriere, Jean}, title = {Review: Katuzi Ono, A Certain Kind of Formal Theories}, journal = {J. Symbolic Logic}, volume = {34}, number = {1}, year = {1969}, language = {en}, url = {http://dml.mathdoc.fr/item/1183736872} }
Ladriere, Jean. Review: Katuzi Ono, A Certain Kind of Formal Theories. J. Symbolic Logic, Tome 34 (1969) no. 1, . http://gdmltest.u-ga.fr/item/1183736872/