Cite This Page

From HandWiki

Bibliographic details for Takeuti–Feferman–Buchholz ordinal