Bock Axelsen, Holger. “Use of a Proof Assistant As a Learning Tool in an Introductory Logic Course for Computer Science Undergraduates”. Improving University Science Teaching and Learning 7, no. 1-2 (juni 19, 2023). Set maj 20, 2024. https://tidsskrift.dk/IUSTL/article/view/137992.