Logic and Set Theory with Applications