An Introduction to Symbolic Logic, 3rd Edition