A Solovay function for weak arithmetics

  • J.J. Joosten (Invited speaker)

    Activity: Talk or presentation › Invited talk › Academic

    Period23 Jan 2006
    Event titleWorkshop on Provability Logics for Weak Arithmetics
    Event typeOther
    LocationPrague; Czech RepublicShow on map