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.
T. Mens, K. Mens, и P. Steyaert. Proceedings of the International Conference on Formal Methods Europe (FME), том 873 из Lecture Notes in Computer Science, стр. 326--345. Springer-Verlag, (1994)