@article{1183731541, author = {Wang, Hao}, title = {Certain Predicates Defined by Induction Schemata}, journal = {J. Symbolic Logic}, volume = {18}, number = {1}, year = {1953}, pages = { 49-59}, language = {en}, url = {http://dml.mathdoc.fr/item/1183731541} }
Wang, Hao. Certain Predicates Defined by Induction Schemata. J. Symbolic Logic, Tome 18 (1953) no. 1, pp. 49-59. http://gdmltest.u-ga.fr/item/1183731541/