The basic intuitionistic logic of proofs

    Activity: Talk or presentation › Invited talk › Academic

    Period2006
    Event titleInternational workshop on modal logic
    Event typeOther
    LocationIstanbulShow on map