The goal of the course is to make the student acquainted with the topics mentioned below, and to prepare him or her for more advanced topics in computability theory and descriptive set theory.