Bridging the Gap Between Set Theory and Logic: Leveraging Computing as a Mediating Tool for Learning - Antonio Estevan Martinez (2022)