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](https://www.uib.no/sites/w3.uib.no/files/styles/content_main/public/media/bergenlogicseminar.jpg?itok=7PRm-5CV×tamp=1572858065)
Photo:
Colourbox
23.01.2020
Work in progress by Andreas Fjellstad