Incompleteness phenomenon a new course in mathematical logic - Goldstern Martin; Judah Haim (Natick A K Peters, 1998)
Keywords: Incompleteness theorems