Files
DTU-Noter/Diskret Mat/Propositional and predicate logic