A Concise Introduction To Logic