Kategorien

Ihre Suche nach „Algorithm for translating Gentzen's notation of ordinal numbers“ ergab 1 Treffer:

Filter
–
Download
PDF
Where is the Gödel-point hiding: Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals
Where is the Gödel-point hiding: Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals Anna Horská

64,19 €*
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...