Title: Logic and Set Theory with Applications