Single variable calculus with elements of Real Analysis: from axioms and proofs to illustrations and computations