INF227 16V / Introduction to Logic