Integers and RingsCovers integers, rings, subrings, invertibility, divisors of zero, and equivalence relations in formal fractions.
Basic PropertiesCovers basic properties of natural numbers, including order relations and inverses.
Integers: Elementary ConceptsCovers fundamental concepts related to integers, including properties of well-ordered sets and the principle of induction.
Functions and IntegersCovers functions, integers, GCD, and reasoning by recurrence, including the Euclidean algorithm and induction principle.