Mathematical introduction to logic - Enderton Herbert B (San Diego Harcourt, 2001)
Keywords: Mathematical logic; Symbolic logic