the closed fragment of the interpretability of primitive recursive arithmetic with a constant for IS1

  • J.J. Joosten (Invited speaker)

    Activity: Talk or presentation › Invited talk › Popular

    Period9 Aug 2002
    Event titleLogic Colloquium 2002 (Munster)
    Event typeSeminar