The incompleteness phenomenon : a new course in mathematical logic - Goldstern, Martin; Judah, Haim (Wellesley, MA : A K Peters, 1995)
Keywords: Incompleteness theorems