Mathematics of first-order arithmetic - Hájek, Petr, 1940-2016 (Perspectives in mathematical logic, 1998)