Where Is the Gödel-Point Hiding
Subtitle: Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals
Publisher: Springer London, Limited
Published: 2013
Language: eng
ISBN-13: 9783319021713
Subjects: Proof theory; Set theory; Modules (algebra); Abelian groups