Concise Introduction to Logic