Title: Logic and Set Theory with Applications, Seventh Edition