Induction and Recursion

dc.contributor.authorWyclife Rao
dc.date.accessioned2023-04-26T18:30:58Z
dc.date.available2023-04-26T18:30:58Z
dc.date.issued2023-04-26
dc.descriptionThis module covers strong induction, recursive definition of sets and functions, structural induction.
dc.identifier.urihttps://erepository.ouk.ac.ke/handle/123456789/970
dc.titleInduction and Recursion
Files