ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "Gentzen's notation and standard notation of ordinal numbers"
Gentzen's notation and standard notation of ordinal numbers
Publikace
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
publication
Where is the Gödel-Point hiding: Gentzen's Consistency Proof of 1936 and his Representation of Constructive Ordinals
2014 |
Filozofická fakulta
