A Concise Introduction to Logic