Login / Signup

A Functorial Property of the Aczel-Buchholz-Feferman Function.

Andreas Weiermann
Published in: J. Symb. Log. (1994)
Keyphrases