Home
Bergen Logic Group
Bergen Logic Seminar: Work in Progress

Bergen Logic Seminar: Proof theory for metainferential hierarchies on Strong Kleene models

Work in progress by Andreas Fjellstad

Bergen Logic Seminar
Photo:
Colourbox