2 research outputs found

    Induction, minimization and collection for ? n+1 (T)?formulas

    No full text

    On the quantifier complexity of ? n+1 (T)? induction

    No full text
    corecore