notes and handouts for Logic I