notes in logic