Publisher's Synopsis
This unit introduces the idea of a primitive recursive function, which gives a different way of approaching computabilty from the idea of a function computable using an unlimited register machine, introduced in unit ML01. We show that some very complicated functions are primitive recursive.To order all 8 units in the Mathematical Logic series please see product M381/PP01
