A Concise Introduction to Logic, Loose-Leaf Version