Concise Introduction to Logic and Set Theory (Mathematics and Its Applications)