Number theory and Mathematical Logic : Primitive Recursive Functions
Subtitle: Primitive Recursive Functions
ISBN-13: 9780749257514