Text for Logic 2003A: Symbolic Logic I