Title: Mathematical Introduction to Logic
Subjects: Logic, symbolic and mathematical