Concise Introduction to Logic and Set Theory