4.5. Recursive function theory Notes | Theory of Computation BCT-NEW | TU | TABFlux