Metamathematics of First-Order Arithmetic (1993)

by Hájek, P Pudlák