Mathematics of first order arithmetic. - Hajek, Petr