ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "Gentzen's notation and standard notation of ordinal numbers"
Gentzen's notation and standard notation of ordinal numbers
Osoba
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
Mgr. Anna Horská Ph.D.
Externí akademický pracovník na Filozofická fakulta
1 publikace
Publikace
publication
Where is the Gödel-Point hiding: Gentzen's Consistency Proof of 1936 and his Representation of Constructive Ordinals
2014 |
Filozofická fakulta
Loading network view...
