The student has to work out a bachelor thesis on a topic in logic.
The topic of the bachelor thesis will be discussed with the advisor.