Dalal Mazhar2022-05-292022-05-2914976https://drepo.sdl.edu.sa/handle/20.500.14154/43518An Educational Tool for Practising Resolution for Predicate LogicThesis