Lecture Notes on Axiomatic Semantics