INF9170 – Master seminar in logic