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

Foto/ill.:
Colourbox
23.01.2020
Work in progress by Andreas Fjellstad