Toon vak Introduction to Logic (CS)