1 research outputs found

    A new system of proof-theoretic ordinal functions

    Get PDF
    corecore