Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals - Horská, Anna (Springer International Publishing : Imprint: Springer, 2014)