A Proof-Theoretic Account of Primitive Recursion and Primitive Iteration.

Published in: J. Formaliz. Reason. (2011)

Keyphrases