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