@Book{Bur98,
    Author       = "Burris, S.",
    Year         = "1998",
    Title        = "{Logic for Mathematics and Computer Science}",
    Publisher    = "Prentice Hall",
    Comment      = ""
}