@article{1183741777, author = {Wilmers, George}, title = {Bounded Existential Induction}, journal = {J. Symbolic Logic}, volume = {50}, number = {1}, year = {1985}, pages = { 72-90}, language = {en}, url = {http://dml.mathdoc.fr/item/1183741777} }
Wilmers, George. Bounded Existential Induction. J. Symbolic Logic, Tome 50 (1985) no. 1, pp. 72-90. http://gdmltest.u-ga.fr/item/1183741777/