Marjukka Joutsenlahti: MathCheck-ohjelmisto itsenäisen opiskelun apuvälineenä propositiologiikan opetusmoduulissa