Login / Signup

A Direct Proof of Schwichtenberg's Bar Recursion Closure Theorem.

Paulo OlivaSilvia Steila
Published in: J. Symb. Log. (2018)
Keyphrases