Title: Concise Introduction to Logic