2 research outputs found

    A substitution free axiom set for second order logic.

    No full text
    corecore