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 ...
Menü