The notes cover introduction to proofs, axioms of fields, complex numbers, some topology, and limits, continuity, derivatives, integrals, sequences and series. For teaching proof writing, many proofs contain in red color parts of proofs that should not be written down but should be thought.
D. Hestenes. Clifford Algebras and their Applications in Mathematical Physics, volume 55 of Fundamental Theories of Physics, Springer Netherlands, (1993)
G. Sobczyk. Clifford Algebras and their Applications in Mathematical Physics, volume 47 of Fundamental Theories of Physics, Springer Netherlands, (1992)
M. Lochau, S. Mennicke, H. Baller, and L. Ribbeck. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, volume 8802 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2014)