Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals (SpringerBriefs in Philosophy)
Erkunde Gentzens 1936‑Konsistenzbeweis und seine einzigartige Darstellung konstruktiver Ordinale, ein tiefgründiges Werk über die Entstehung mathe ...