Book Chapter10.1016/s0049-237x(08)70937-6

On The Role of the Successor Function in Recursion Theory

Johan Moldestad-1978-01-01-Studies in logic and the foundations of mathematics

0

Chat with Paper

AI Agents for this Paper

No abstract available for this paper.

Keywords

Successor cardinalRecursion (computer science)Computer scienceFunction (biology)Algebra over a fieldMathematicsTheoretical computer scienceAlgorithm

Chat

Click to start Chat