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