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

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

by: Horská, Anna

Publisher: Springer ( 2013-10-23 )

ISBN-13: 9783319021706

e-ISBN-13: 9783319021713

ISBN-10: 3319021702

Edition: 1

Language: English