Ämnesområdet är uppdelat mellan mig och Valentina Råberg, Valentina tar den första biten medans jag har hand om predikatlogiken.
pga otäcka specialtecken i predikatlogiken har jag tagit den enkla vägen och sparat mitt arbete som en word-fil
tillbaka