Skip to main navigation Skip to search Skip to main content

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