LOG410 V24 Logik: Självständigt arbete för masterexamen