Title: Selections From a Concise Introduction to Logic