1 research outputs found

    A note on the Hanf number of second-order logic.

    No full text
    corecore