Interpretability over Primitive Recursive Arithmetic

  • J.J. Joosten (Invited speaker)

    Activity: Talk or presentation › Invited talk › Popular

    Period2003
    Event titleColloquium on Mathematical Logic (Muenster)
    Event typeSeminar