Return to Article Details Bootstrapping the Primitive Recursive Functions by 47 Colors Download Download PDF