Natural Deduction Derived from Truth Tables: Intuitionistic logic

  • Iris van der Giessen (Speaker)

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

Period28 Sept 2022
Event titleWorkshop on Proofs, Computation and Meaning
Event typeConference
Degree of RecognitionInternational