Modern Logic: A Text in Elementary Symbolic Logic