@Book{WR27,
    Author       = "Whitehead, A.N. and Russell, B.",
    Year         = "1927",
    Title        = "{Principia Mathematica}",
    Edition      = "2",
    Volume       = "1",
    Publisher    = "Cambridge United Press",
    Comment      = "TPTPRef"
}