Where is the Gödel-point hiding
Subtitle: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals
Publisher: Springer
Published: Oct 23, 2013
Format: paperback
Number of pages: 88
ISBN-13: 9783319021706
Notes: Source title: Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals (SpringerBriefs in Philosophy)