Login / Signup

Syntactic Translations and Provably Recursive Functions.

Daniel Leivant
Published in: J. Symb. Log. (1985)
Keyphrases