Cite This Page

Bibliographic details for Takeuti-Feferman-Buchholz ordinal