Semantics for sub-intuitionistic logics

  • J.J. Joosten (Invited speaker)

    Activity: Talk or presentation › Invited talk › Academic

    Period1 Jan 2006
    Event titleWorkshop on Proof Theory and Rewriting
    Event typeOther
    LocationObergurgl, OostenrijkShow on map