Morning math/Forays in Logic

Share interesting logic areas.