Dette emnet er erstattet av IN1150 – Logiske metoder.

INF1080: Diskusjonsforum