海外直订Where Is the G?del-Point Hiding: Gentzen's Consistency Proof of 1936 and His Rep G在哪里?德尔点隐藏

【4周达】Where is the Goedel-point hiding: Gentzen's Consistency Proof of 1936 and His Representation... [9783319021706]

【4周达】Saved from the Cellar : Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathem... [9783319421193]

【4周达】Saved from the Cellar : Gerhard Gentzen's Shorthand Notes on Logic and Foundations of Mathem... [9783319825021]

【4周达】Gentzen's Centenary : The Quest for Consistency [9783319101026]

【预订】Gentzen’s Centenary