Computational Logic and Set Theory