Ohrstrom, P.; Sandborg-Petersen, U.; Thorvaldsen, S.; Ploug, T. Teaching Basic Ideas in Logic Using E-Learning Tools. EAI Endorsed Trans e-Learn 2017, 4, e3.