Invited talk: From classical to intuitionistic hybrid logic
Braüner, T. (Foredragsholder)
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag