Mathematical Logic: Primitive Recursive Functions - Tapa blanda

Reseña del editor

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. It also shows that some very complicated functions are primitive recursive.