Login / Signup

Bootstrapping the primitive recursive functions by only 27 colors.

Søren Riis
Published in: Discret. Math. (1997)
Keyphrases