@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/