LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science