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

girro 14 阅读 0 评论
数学、统计Mathematics

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

代发服务PDF电子书10元立即求助