![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[VID]](/icons/movie.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| L1a_Math_objects_07.10.2020.webm | 2020-10-07 13:02 | 417M | |
| L1b_Russell_paradox_axioms_07.10.2020.webm | 2020-10-07 13:58 | 320M | |
| L2a_Inductive_sets_14.10.2020.webm | 2020-10-14 12:02 | 360M | |
| L2b_Relations_14.10.2020.webm | 2020-10-14 13:02 | 373M | |
| L2c_Equivalences_14.10.2020.webm | 2020-10-14 13:54 | 315M | |
| L3a_functions_part1_21.10.2020.webm | 2020-10-21 11:59 | 346M | |
| L3b_functions_part2_21.10.2020.webm | 2020-10-21 12:55 | 319M | |
| L3c_orders_21.10.2020.webm | 2020-10-21 13:53 | 292M | |
| L4a_tsort_infinite-sets_28.10.2020.webm | 2020-10-28 12:02 | 308M | |
| L4b_Cantor_diagonalization_28.10.2020.webm | 2020-10-28 13:01 | 332M | |
| L4c_induction_recursion_28.10.2020.webm | 2020-10-28 13:52 | 288M | |