Where is the Gödel-point hiding

Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals

By

Anna Horska