Induction and Recursion
dc.contributor.author | Wyclife Rao | |
dc.date.accessioned | 2023-04-26T18:30:58Z | |
dc.date.available | 2023-04-26T18:30:58Z | |
dc.date.issued | 2023-04-26 | |
dc.description | This module covers strong induction, recursive definition of sets and functions, structural induction. | |
dc.identifier.uri | https://erepository.ouk.ac.ke/handle/123456789/970 | |
dc.title | Induction and Recursion |