Bergen Logic Seminar: Work in Progress
Bergen Logic Seminar: Proof theory for metainferential hierarchies on Strong Kleene models
Work in progress by Andreas Fjellstad
Photo:
Colourbox
23.01.2020
Work in progress by Andreas Fjellstad