Hjem
Forskergruppen i logikk
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
Foto/ill.:
Colourbox