Using IDEAS in Teaching Logic, Lessons Learned | IEEE Conference Publication | IEEE Xplore