Teaching first order logic with friendly puzzles

Full citation

"Teaching first order logic with friendly puzzles", Groza, Adrian, The 4th International Conference on Artificial Intelligence in Education Technology (AIET2023), Berlin, Germany Springer, , DOI: , 2023.