Bootstrapping the primitive recursive functions by only 27 colors

From MaRDI portal
Publication:1357751