@Book{Qui69,
    Author       = "Quine, W.V.",
    Year         = "1969",
    Title        = "{Set Theory and its Logic}",
    Publisher    = "Harvard University Press",
    Comment      = "TPTPRef"
}