Homework for university math logic course