Title: A Mathematical Introduction to Logic
Subjects: Symbolic and mathematical Logic