Introduction to logic and proofs, set theory, functions and structures relating to algebra and analysis.