Kindergarten Provability Logic

Activity: Talk or presentation › Invited talk › Academic

Period7 Sept 2018
Event titleWorkshop on Proof Theory and its Applications
Event typeWorkshop
LocationGhent, BelgiumShow on map