Metamathematics of First-order Arithmetic, Springer-Verlag (1998)

by P Hájek, P Pudlák
Venue:Hydra Game, and Buchholz's Hydra Game, Math. Logic Quarterly