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, und P. Steyaert. Proceedings of the International Conference on Formal Methods Europe (FME), Volume 873 von Lecture Notes in Computer Science, Seite 326--345. Springer-Verlag, (1994)
F. Dau. Proceedings of the 14th International Conference on Conceptual Structures (ICCS 2006), Volume 4068 von Lecture Notes in Computer Science, Seite 172-188. Springer, (2006)
T. Langlands, B. Henry, und S. Wearne. Abstract Book of the XXIII IUPAP International Conference on Statistical Physics, Genova, Italy, (9-13 July 2007)