Where Is the Gödel-point Hiding : Gentzen's Consistency Proof of 1936 and His Representation of Constructive Ordinals
ISBN: 9783319021713
Information Available:
Summary
Cover Image
Copyright held by Baker & Taylor.