Natural Deduction Derived from Truth Tables

  • Iris van der Giessen (Speaker)

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

Period12 Nov 2022
Event title4th Workshop on Proof Theory and its Applications
Event typeConference
LocationUtrechtShow on map
Degree of RecognitionInternational