Content deleted Content added
Line 418:
They say LOOP is syntactic sugar. Well there is more to it. I think
your primitive recursive article refers already to results about LOOP.
But why not make it a separate article. Most likely Dedekind hardly had
|