S. C. Kleene. General recursive functions of natural numbers. Mathematische Annalen, Bd. 112 (1935–1936), S. 727–742

Subjects

Subjects :

μ operator
Discrete mathematics
Philosophy
Recursive set
Logic
Computer science
Successor function
Pairing function
Primitive recursive function
Primitive recursive arithmetic
Recursive definition
μ-recursive function

Details

ISSN :

19435886 and 00224812

Volume :

2

Database :

OpenAIRE

Journal :

The Journal of Symbolic Logic

Accession number :

edsair.doi...........a561d19095ca3f8eedf26b15455a83cc

Full Text :

https://doi.org/10.2307/2268801