Aktiviteter per år
Aktiviteter
- 1 resultat
Sökresultat
-
Gentzen, Gödel, and the constructive justification of consistency proofs for arithmetic
Maria Hämeen-Anttila (!!Speaker)
12 nov. 2021Aktivitet: Typer för tal eller presentation › !!Invited talk