Text this: Computational Logic and Set Theory