Title: Mathematical logic: a first course
Subjects: Symbolic and mathematical Logic