Login / Signup

T by methods from local predicativity.

Andreas Weiermann
Published in: Arch. Math. Log. (1997)
Keyphrases