P. Ohrstrom, U. Sandborg-Petersen, S. Thorvaldsen, and T. Ploug, “ Teaching Basic Ideas in Logic Using E-learning Tools”, EAI Endorsed Trans e-Learn, vol. 4, no. 13, p. e3, Jun. 2017.