Ohrstrom, Peter, Ulrik Sandborg-Petersen, Steinar Thorvaldsen, and Thomas Ploug. “Teaching Basic Ideas in Logic Using E-Learning Tools”. EAI Endorsed Transactions on e-Learning 4, no. 13 (June 21, 2017): e3. Accessed May 21, 2024. https://publications.eai.eu/index.php/el/article/view/1790.