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
未经允许不得转载：Wow! eBook » Where is the Gödel-point hiding:Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals