TPTP Reference: Hig10


@Book{Hig10,
    Author       = "Higgins, P.",
    Year         = "2010",
    Title        = "{Numbers: A Very Short Introduction}",
    Publisher    = "Oxford University Press",
    Comment      = ""
}