General recursive functions of natural numbers.

From MaRDI portal
Publication:5923140