@Book{Qui82,
    Author       = "Quine, W.V.",
    Year         = "1982",
    Title        = "{Methods of Logic}",
    Pages        = "183",
    Publisher    = "Harvard University Press",
    Comment      = "TPTPRef"
}