Arithmetic Theories with Prenex Normal Form Induction (1997)

by C Pollett