Uprovability of consistency an essays in model logic - Boolos George (Cambridge Univ Press, 1979)
Keywords: LOGIC