Lessons in LOGIC