Introduction to Godel's theorems - Smith Peter (Cambridge CUP, 2007)
Keywords: Godel, Kurt>Godel numbers>Symbolic logic>Mathematical logic >