Using Educational Game for Engaging Students in Learning Foundational Concepts of Propositional Logic | IEEE Conference Publication | IEEE Xplore