TPTP Reference: Sid09


@Book{Sid09,
    Author       = "Sider, T.",
    Year         = "2009",
    Title        = "{Logic for Philosophy}",
    Publisher    = "Oxford University Press",
    Comment      = "TPTPRef"
}