@Book{Chu56,
    Author       = "Church, A.",
    Year         = "1956",
    Title        = "{Introduction to Mathematical Logic I}",
    Publisher    = "Princeton University Press",
    Comment      = "TPTPRef"
}