Where is the Gödel-point hiding
Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals
Publisher: Springer
Type: Physical Book
Language: English
Pages: 88
Information: 2014
Release Date: 2013-10-23
ISBN 10: 3319021702
ISBN 13: 9783319021706
Readers: 1
Country: United States of America