Logic of Arithmetic - Walter Felscher (Taylor and Francis, 2000)