The Skolem functions of intuitionistic logic

    Activity: Talk or presentation › Invited talk › Academic

    Period2006
    Event titleParis-Vienna meeting
    Event typeOther
    LocationParisShow on map