@Book{Smi07, Author = "Smith, P.", Year = "2007", Title = "{An Introduction to Goedel's Theorems}", Publisher = "Cambridge University Press", Comment = "TPTPRef" }