Metamathematics of first order arithmetic - Hájek, Petr 1940-; Pudlák, Pavel (Perspectives in mathematical logic, 1993)