Title: Elements of mathematical logic and set theory
Subjects: Symbolic and mathematical Logic