Bounded Existential Induction

George M. Wilmers. Bounded Existential Induction. Journal of Symbolic Logic, 50(1):72-90, 1985.

Abstract

Abstract is missing.