Login / Signup

Ordinal Analysis of Simple Cases of Bar Recursion.

William A. Howard
Published in: J. Symb. Log. (1981)
Keyphrases