Metamathematics of first-order arithmetic. - Hajek, Petr (Perspectives in mathematical logic, 1993)