Logic and Brain Teasers