Proof Theory for the Admissible Rules in Lax Logic

  • Iris van der Giessen (Speaker)

Activity: Talk or presentation › Poster/paper presentation › Academic

Period3 Dec 2021
Event titleThe 3rd Proof Society Workshop
Event typeConference