Title: Computational Logic and Set Theory