Metamathematics of First-Order Arithmetic (1998)

by P Hájek, P Pudlák
Venue:Zbl 0781.03047. MR