Mathematisches Forschungsinstitut Oberwolfach

Aktivitet: Typer för besök till extern institution › Akademisk besök på annan institution

Beskrivning

Mathematical Logic: Proof Theory, Constructive Mathematics
Period8 nov. 2020 → 15 nov. 2020
På besökMathematisches Forschungsinstitut Oberwolfach
OmfattningInternationell