Hjem

Universitetet i Bergen

Forskergruppen i logikk

Kommende arrangement for Forskergruppen i logikk

2020

Uke 04

I dag 25. januar (0)

Det er ingen arrangement denne dagen.

Uke 05

Onsdag 29. januar (1)

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