54657

4395958

Anna Horska

Where is the Godel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals

Springer

2014

9783319021713 ; 9783319021713 ; 9783319021706 ; 9783319021706