Bock Axelsen, H. (2023) “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(1-2). Tilgængelig hos: https://tidsskrift.dk/IUSTL/article/view/137992 (Set: 19 juli 2024).