@Book{For94,
    Author       = "Forbes, G.",
    Year         = "1994",
    Title        = "{Modern Logic. A Text in Elementary Symbolic Logic}",
    Publisher    = "Oxford University Press",
    Comment      = "TPTPRef"
}