@Book{HB34,
    Author       = "Hilbert, D. and Bernays, P.",
    Year         = "1934",
    Title        = "{Grundlagen der Mathematick}",
    Publisher    = "Julius Springer Verlag",
    Comment      = "TPTPRef"
}