Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals
Authors: Horská, Anna
Get this book Contact Email: girro@qq.com
Publisher: Springer ( 2013-10-23 )
ISBN-13: 9783319021706
e-ISBN-13: 9783319021713
ISBN-10: 3319021702
QQ: 7450911
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