Login / Signup
A Proof-Theoretic Characterization of the Primitive Recursive Set Functions.
Michael Rathjen
Published in:
J. Symb. Log. (1992)
Keyphrases
</>
search space