Homework on mathematical logic course.