Properties of Real NumbersExplains the properties of subsets of real numbers, including Supremum, Infimum, intervals, open sets, and closed sets.
SupremumCovers the concept of supremum in real numbers and its properties as the least upper bound of a set.
Subtyping and Type CalculusExplores subtyping, type calculus, and type bounds calculation in a system with subtyping, guiding through exercises and proofs step by step.
Integers: Elementary ConceptsCovers fundamental concepts related to integers, including properties of well-ordered sets and the principle of induction.