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

MLA

Horsk, Anna, and Anna Horská. Where Is the Gödel-point Hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals. Springer International Publishing, 2014.

APA

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

Chicago

Horsk, Anna, and Anna Horská. Where Is the Gödel-Point Hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals. : Springer International Publishing, 2014.