a concise introduction to logic