Logik (uppdragsutbildning) Stockholms universitet Sök i planarkiv Sök i planarkiv Kurs, avancerad nivå, Avancerad nivå, Data- och systemvetenskap, Institutionen för data- och systemvetenskap Kursplaner Litteraturlistor Kursplan VT 2020 Senaste