Interpretability logics and the step-by-step method

  • J.J. Joosten (Invited speaker)

    Activity: Talk or presentation › Invited talk › Academic

    Period6 Jul 2000
    Event title6th Barcelona Logic Meeting
    Event typeOther
    LocationBarcelonaShow on map