Text this: Introduction to Set Theory and Logic