Bridging The Gap Between Set Theory And Logic: Leveraging Computing As A Mediating Tool For Learning