Courses offered by the Key Research Area Logic for the Bachelor's programmes