Operational, Denotational and Axiomatic semantics for a subset of Python