Lecture notes for Logic for Mathematics's students