Symbolic Logic A First Course