Metamathematics of first order arithmetic - Hájek, Petr 1940-; Pudlák, Pavel (Springer, 1993)