LOGIC: Lecture Notes for Philosophy Mathematics and Computer Science