Lecture notes for the second part of the course *Logic*. It contains an appendix with a lot of exercises with their solutions.